Similar to ハイティング代数

Tee (symbol)

Church–Rosser theorem

Intermediate logic

Low basis theorem

Dyck language

Double recursion

Arbitrariness

Proof by contradiction

Counterexample

Frege's theorem

Lemma (mathematics)

Consistency

Metalanguage

Four-valued logic

Quantum logic

Lusin's separation theorem

Mathematical logic

First-order logic

Special case

Semantics

Universe (mathematics)

Herbrand's theorem

Finitary relation

Relation algebra

Composition of relations

Connected relation