10 <P> |
10 <P> |
11 Click on the logic's name to view the graph of its theories. |
11 Click on the logic's name to view the graph of its theories. |
12 <HR> |
12 <HR> |
13 First-Order Logic |
13 First-Order Logic |
14 <UL> |
14 <UL> |
15 <LI><A HREF = "data/FOL/all_theories.html">FOL</A> |
15 <LI><A HREF = "data/FOL/large.html">FOL</A> |
16 <LI><A HREF = "data/ZF/all_theories.html">ZF (Set Theory)</A> |
16 <LI><A HREF = "data/ZF/large.html">ZF (Set Theory)</A> |
17 <LI><A HREF = "data/CCL/all_theories.html">CCL (Classical Computational Logic)</A> |
17 <LI><A HREF = "data/CCL/large.html">CCL (Classical Computational Logic)</A> |
18 <LI><A HREF = "data/LCF/all_theories.html">LCF (Logic of Computable Functions)</A> |
18 <LI><A HREF = "data/LCF/large.html">LCF (Logic of Computable Functions)</A> |
19 <LI><A HREF = "data/FOLP/all_theories.html">FOLP (FOL with Proof Terms)</A> |
19 <LI><A HREF = "data/FOLP/large.html">FOLP (FOL with Proof Terms)</A> |
20 </UL> |
20 </UL> |
21 <HR> |
21 <HR> |
22 Higher-Order Logic |
22 Higher-Order Logic |
23 <UL> |
23 <UL> |
24 <LI><A HREF = "data/HOL/all_theories.html">HOL</A> |
24 <LI><A HREF = "data/HOL/large.html">HOL</A> |
25 <LI><A HREF = "data/HOLCF/all_theories.html">HOLCF |
25 <LI><A HREF = "data/HOLCF/large.html">HOLCF |
26 (Higher-Order Logic of Computable Functions)</A> |
26 (Higher-Order Logic of Computable Functions)</A> |
27 </UL> |
27 </UL> |
28 <HR> |
28 <HR> |
29 Miscellaneous |
29 Miscellaneous |
30 <UL> |
30 <UL> |
31 <LI><A HREF = "data/Sequents/all_theories.html">Sequents |
31 <LI><A HREF = "data/Sequents/large.html">Sequents |
32 (first-order, modal and linear logics)</A> |
32 (first-order, modal and linear logics)</A> |
33 <LI><A HREF = "data/CTT/all_theories.html">CTT (Constructive Type Theory)</A> |
33 <LI><A HREF = "data/CTT/large.html">CTT (Constructive Type Theory)</A> |
34 <LI><A HREF = "data/Cube/all_theories.html">Cube (The Lambda Cube)</A> |
34 <LI><A HREF = "data/Cube/large.html">Cube (The Lambda Cube)</A> |
35 </UL> |
35 </UL> |
36 <HR> |
36 <HR> |
37 </BODY></HTML> |
37 </BODY></HTML> |