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