any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity
English language
Toggle Transcript
mathematical logic::noun | Spocien Dictionary
| Type | Words |
|---|---|
| Synonyms | formal logic, symbolic logic |
| Type of | system of logic, logic, logical system |
| Has types | fuzzy logic, propositional logic, boolean algebra, modal logic, predicate calculus, propositional calculus, boolean logic, functional calculus |
