logical system (Q2285)

From Azupedia
Revision as of 13:43, 10 February 2023 by Fire (talk | contribs) (‎Created claim: has part(s) (P8): formal system (Q2185))
Jump to navigation Jump to search
type of system
  • deductive system
  • logic
Language Label Description Also known as
English
logical system
type of system
  • deductive system
  • logic

Statements

subclass of
formal system
0 references
has quality
consistency
0 references
has part(s)
formal system
0 references
 
    Retrieved from "https://wiki.tiffa.net/w/index.php?title=Item:Q2285&oldid=11907"