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
HOL
HOLCF (Higher-Order Logic of Computable Functions)
Miscellaneous
Sequents (first-order, modal and linear logics)
CTT (Constructive Type Theory)
Cube (The Lambda Cube)
