5169

1 
<HTML><HEAD><TITLE>Isabelle Logics ({ISABELLE})</TITLE></HEAD>

3634

2 
<center>

3845

3 
<img src="gif/isabelle.gif"><P>

3634

4 
</center>


5 
<P>

5174

6 
Switch to <A HREF="graph/index.html">Javabased</A> version, including theory graph browser.

3634

7 
<P>


8 
Click on the logic's name to view a list of its theories.


9 
<HR>


10 
FirstOrder Logic


11 
<UL>


12 
<LI><A HREF = "FOL/index.html">FOL</A>


13 
<LI><A HREF = "ZF/index.html">ZF (Set Theory)</A>


14 
<LI><A HREF = "CCL/index.html">CCL (Classical Computational Logic)</A>


15 
<LI><A HREF = "LCF/index.html">LCF (Logic of Computable Functions)</A>


16 
<LI><A HREF = "FOLP/index.html">FOLP (FOL with Proof Terms)</A>


17 
</UL>


18 
<HR>


19 
HigherOrder Logic


20 
<UL>


21 
<LI><A HREF = "HOL/index.html">HOL</A>


22 
<LI><A HREF = "HOLCF/index.html">HOLCF


23 
(HigherOrder Logic of Computable Functions)</A>


24 
</UL>


25 
<HR>


26 
Miscellaneous


27 
<UL>


28 
<LI><A HREF = "Sequents/index.html">Sequents


29 
(firstorder, modal and linear logics)</A>


30 
<LI><A HREF = "CTT/index.html">CTT (Constructive Type Theory)</A>


31 
<LI><A HREF = "Cube/index.html">Cube (The Lambda Cube)</A>


32 
</UL>


33 
<HR>


34 
</BODY></HTML>
