View version for non-Java-capable browsers

Click on the logic's name to view the graph 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)