index.html
changeset 2084 5963238bc1b6
parent 1774 bc584c1b8426
equal deleted inserted replaced
2083:b56425a385b9 2084:5963238bc1b6
     7 </center>
     7 </center>
     8 <P>
     8 <P>
     9 Click on the logic's name to view a list of its theories.
     9 Click on the logic's name to view a list of its theories.
    10 <HR>
    10 <HR>
    11 First-Order Logic
    11 First-Order Logic
    12 <UL>
    12   <UL>
    13 <LI><A HREF = "FOL/index.html">FOL</A>
    13   <LI><A HREF = "FOL/index.html">FOL</A>
    14 <LI><A HREF = "ZF/index.html">ZF</A>
    14   <LI><A HREF = "ZF/index.html">ZF (Set Theory)</A>
    15 <LI><A HREF = "CCL/index.html">CCL</A>
    15   <LI><A HREF = "CCL/index.html">CCL (Classical Computational Logic)</A>
    16 <LI><A HREF = "LCF/index.html">LCF</A>
    16   <LI><A HREF = "LCF/index.html">LCF (Logic of Computable Functions)</A>
    17 </UL>
    17   <LI><A HREF = "FOLP/index.html">FOLP (FOL with Proof Terms)</A>
       
    18   </UL>
    18 <HR>
    19 <HR>
    19 Higher-Order Logic
    20 Higher-Order Logic
    20 <UL>
    21   <UL>
    21 <LI><A HREF = "HOL/index.html">HOL</A>
    22   <LI><A HREF = "HOL/index.html">HOL</A>
    22 <LI><A HREF = "HOLCF/index.html">HOLCF</A>
    23   <LI><A HREF = "HOLCF/index.html">HOLCF 
    23 </UL>
    24 		   (Higher-Order Logic of Computable Functions)</A>
    24 <HR>
    25   </UL>
    25 Sequent Calculus
       
    26 <UL>
       
    27 <LI><A HREF = "LK/index.html">LK</A>
       
    28 <LI><A HREF = "Modal/index.html">Modal</A>
       
    29 </UL>
       
    30 <HR>
    26 <HR>
    31 Miscellaneous
    27 Miscellaneous
    32 <UL>
    28   <UL>
    33 <LI><A HREF = "CTT/index.html">CTT</A>
    29   <LI><A HREF = "Sequents/index.html">Sequents 
    34 <LI><A HREF = "Cube/index.html">Cube</A>
    30 	  (first-order, modal and linear logics)</A>
    35 <LI><A HREF = "FOLP/index.html">FOLP</A>
    31   <LI><A HREF = "CTT/index.html">CTT (Constructive Type Theory)</A>
    36 </UL>
    32   <LI><A HREF = "Cube/index.html">Cube (The Lambda Cube)</A>
       
    33   </UL>
    37 <HR>
    34 <HR>
    38 </BODY></HTML>
    35 </BODY></HTML>