*The Logical Choice!*

Click on the logic's name to view a list of its theories.

First-Order Logic

- FOL
- ZF (Set Theory)
- CCL (Classical Computational Logic)
- LCF (Logic of Computable Functions)
- FOLP (FOL with Proof Terms)

Higher-Order Logic

Miscellaneous

- Sequents (first-order, modal and linear logics)
- CTT (Constructive Type Theory)
- Cube (The Lambda Cube)