# HG changeset patch # User paulson # Date 844937853 -7200 # Node ID 5963238bc1b607023f77fb938748a1e60c415c8f # Parent b56425a385b9ac6acbba0f7f9e79629c4d209f84 New root file with more description, and merging LK and Modal to Sequents diff -r b56425a385b9 -r 5963238bc1b6 index.html --- a/index.html Thu Oct 10 10:47:26 1996 +0200 +++ b/index.html Thu Oct 10 10:57:33 1996 +0200 @@ -9,30 +9,27 @@ 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 -

-Sequent Calculus -

LK -
Modal -

HOL +
HOLCF + (Higher-Order Logic of Computable Functions) +

Miscellaneous -

CTT -
Cube -
FOLP -

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