Category:論理計算

Sequent calculus

Existential graph

Relational calculus

Method of analytic tableaux

Hidden algebra

Natural deduction