equal
deleted
inserted
replaced
|
1 <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD> |
|
2 <H2>Isabelle Logics</H2> |
|
3 Click on the logic's name to view a list of its theories. |
|
4 <HR> |
|
5 First-Order Logic |
|
6 <UL> |
|
7 <LI><A HREF = "FOL/index.html">FOL</A> |
|
8 <LI><A HREF = "ZF/index.html">ZF</A> |
|
9 <LI><A HREF = "CCL/index.html">CCL</A> |
|
10 <LI><A HREF = "LCF/index.html">LCF</A> |
|
11 </UL> |
|
12 <HR> |
|
13 Higher-Order Logic |
|
14 <UL> |
|
15 <LI><A HREF = "HOL/index.html">HOL</A> |
|
16 <LI><A HREF = "HOLCF/index.html">HOLCF</A> |
|
17 </UL> |
|
18 <HR> |
|
19 Sequent Calculus |
|
20 <UL> |
|
21 <LI><A HREF = "LK/index.html">LK</A> |
|
22 <LI><A HREF = "Modal/index.html">Modal</A> |
|
23 </UL> |
|
24 <HR> |
|
25 Miscellaneous |
|
26 <UL> |
|
27 <LI><A HREF = "CTT/index.html">CTT</A> |
|
28 <LI><A HREF = "Cube/index.html">Cube</A> |
|
29 <LI><A HREF = "FOLP/index.html">FOLP</A> |
|
30 </UL> |
|
31 <HR> |
|
32 </BODY></HTML> |