The Logical Choice!
Click on the logic's name to view a list of its theories.
ZF (Set Theory)
CCL (Classical Computational Logic)
LCF (Logic of Computable Functions)
FOLP (FOL with Proof Terms)
HOLCF (Higher-Order Logic of Computable Functions)
Sequents (first-order, modal and linear logics)
CTT (Constructive Type Theory)
Cube (The Lambda Cube)