| lexicalization | eng: Logical calculi |
| subclass of | (noun) that which is perceived or known or inferred to have its own distinct existence (living or nonliving)
entity |
| has instance | e/de/Applicative Order Reduction |
| has instance | e/de/Aussagenkalkül |
| has instance | e/de/Charakteristische Zahlen |
| has instance | e/de/Gentzentypkalkül |
| has instance | e/de/Normal Order Reduction |
| has instance | e/de/Termkalkül |
| has instance | e/de/Termlogik |
| has instance | e/Calculus of structures |
| has instance | e/Default logic |
| has instance | e/Domain of discourse |
| has instance | e/Fitch-style calculus |
| has instance | e/Fluent calculus |
| has instance | e/Game semantics |
| has instance | e/Hilbert system |
| has instance | e/Judgment (mathematical logic) |
| has instance | e/Method of analytic tableaux |
| has instance | e/Model elimination |
| has instance | e/Monadic predicate calculus |
| has instance | e/Natural deduction |
| has instance | e/Proof calculus |
| has instance | e/Region connection calculus |
| has instance | e/Spatial-temporal reasoning |
| has instance | e/Superposition calculus |
| has instance | e/Syncategorematic term |
| has instance | e/Tuple relational calculus |