Types of logical calculus
- en predicate calculus ➜
- en predicate calculus (n) ➜
- en propositional calculus ➜
- en propositional calculus (n) ➜
Related terms
- en formal logic (n) ➜
- en heyting algebra (n) ➜
- en formal system ➜
Synonyms
- en formal system (n) ➜
- en formal system ➜
Word forms
- en logical calculi (n) ➜
Links to other resources
- en.wiktionary.org logical calculus