n06164665
| type | n |
| lex_filenum | 09 |
| def | any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity |
| Outgoing links | |
| Hypernym | logic, logical system, system of logic |
| Hyponym | Boolean logic, Boolean algebra; propositional logic, propositional calculus; predicate calculus, functional calculus; modal logic; fuzzy logic |
| Incoming links | |
| Hyponym | logic, logical system, system of logic |
| Hypernym | Boolean logic, Boolean algebra; propositional logic, propositional calculus; predicate calculus, functional calculus; modal logic; fuzzy logic |
Click for the XML entry