index.html
author wenzelm
Wed Jul 09 16:52:51 1997 +0200 (1997-07-09)
changeset 3508 089806e6133b
parent 2084 5963238bc1b6
permissions -rw-r--r--
removed init_database;
     1 <HTML><HEAD><TITLE>Isabelle Logics</TITLE></HEAD>
     2 <center>
     3  <H2>
     4  <img src="Tools/Isabelle.gif"><P>
     5  <i>The Logical Choice!</i>
     6  </H2>
     7 </center>
     8 <P>
     9 Click on the logic's name to view a list of its theories.
    10 <HR>
    11 First-Order Logic
    12   <UL>
    13   <LI><A HREF = "FOL/index.html">FOL</A>
    14   <LI><A HREF = "ZF/index.html">ZF (Set Theory)</A>
    15   <LI><A HREF = "CCL/index.html">CCL (Classical Computational Logic)</A>
    16   <LI><A HREF = "LCF/index.html">LCF (Logic of Computable Functions)</A>
    17   <LI><A HREF = "FOLP/index.html">FOLP (FOL with Proof Terms)</A>
    18   </UL>
    19 <HR>
    20 Higher-Order Logic
    21   <UL>
    22   <LI><A HREF = "HOL/index.html">HOL</A>
    23   <LI><A HREF = "HOLCF/index.html">HOLCF 
    24 		   (Higher-Order Logic of Computable Functions)</A>
    25   </UL>
    26 <HR>
    27 Miscellaneous
    28   <UL>
    29   <LI><A HREF = "Sequents/index.html">Sequents 
    30 	  (first-order, modal and linear logics)</A>
    31   <LI><A HREF = "CTT/index.html">CTT (Constructive Type Theory)</A>
    32   <LI><A HREF = "Cube/index.html">Cube (The Lambda Cube)</A>
    33   </UL>
    34 <HR>
    35 </BODY></HTML>