logical system (Q2285)

From Azupedia
Revision as of 13:45, 10 February 2023 by Fire (talk | contribs) (‎Created claim: has part(s) (P8): interpretation (Q420))
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
interpretation
0 references
 
    Retrieved from "https://wiki.tiffa.net/w/index.php?title=Item:Q2285&oldid=11912"