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/00-chart.html">FOL</A> |
|
8 <LI><A HREF = "ZF/00-chart.html">ZF</A> |
|
9 <LI><A HREF = "CCL/00-chart.html">CCL</A> |
|
10 <LI><A HREF = "LCF/00-chart.html">LCF</A> |
|
11 </UL> |
|
12 <HR> |
|
13 Higher-Order Logic |
|
14 <UL> |
|
15 <LI><A HREF = "HOL/00-chart.html">HOL</A> |
|
16 <LI><A HREF = "HOLCF/00-chart.html">HOLCF</A> |
|
17 <LI><A HREF = "Old_HOL/00-chart.html">Old_HOL</A> |
|
18 </UL> |
|
19 <HR> |
|
20 Sequent Calculus |
|
21 <UL> |
|
22 <LI><A HREF = "LK/00-chart.html">LK</A> |
|
23 <LI><A HREF = "Modal/00-chart.html">Modal</A> |
|
24 </UL> |
|
25 <HR> |
|
26 Miscellaneous |
|
27 <UL> |
|
28 <LI><A HREF = "CTT/00-chart.html">CTT</A> |
|
29 <LI><A HREF = "Cube/00-chart.html">Cube</A> |
|
30 <LI><A HREF = "FOLP/00-chart.html">FOLP</A> |
|
31 </UL> |
|
32 <HR> |
|
33 </BODY></HTML> |