Home

Synset

any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
<noun.cognition>   freq. cnt.: 1 freq. cnt.: 1

formal logic more info
mathematical logic more info
symbolic logic more info
semantic pointers
hypernym
logic, logical system, system of logic
hyponym
Boolean logic, Boolean algebra propositional logic, propositional calculus predicate calculus, functional calculus modal logic fuzzy logic