Similar to 中間論理

Fuzzy logic

Substructural logic

Infinitary logic

Paraconsistent logic

Modal logic

Template:Mathlogic-stub

Inverse (logic)

Type theory

Cut-elimination theorem

Slow-growing hierarchy

Converse (logic)

Converse implication

Domain of discourse

Craig interpolation

Formal logic

Successor function

Supernatural number

Shor's algorithm

Mathematical proof

New Foundations

Inference

Sudan function

Tee (symbol)

Church–Rosser theorem

Low basis theorem

Dyck language

Double recursion