wneuper/isa: index.html@24dae6222579

     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>

author	wenzelm
	Tue, 06 May 1997 15:27:35 +0200
changeset 3118	24dae6222579
parent 2084	5963238bc1b6
permissions	-rw-r--r--