equal
deleted
inserted
replaced
|
1 <ul> |
|
2 <li>Higher-Order Logic</li> |
|
3 |
|
4 <li style="list-style: none"> |
|
5 <ul> |
|
6 <li><a href="HOL/index.html">HOL (Higher-Order Logic)</a></li> |
|
7 |
|
8 <li><a href="HOLCF/index.html">HOLCF (Higher-Order Logic of Computable Functions)</a></li> |
|
9 </ul> |
|
10 </li> |
|
11 </ul> |
|
12 |
|
13 <ul> |
|
14 <li>First-Order Logic</li> |
|
15 |
|
16 <li style="list-style: none"> |
|
17 <ul> |
|
18 <li><a href="FOL/index.html">FOL (Many-sorted First-Order Logic)</a></li> |
|
19 |
|
20 <li><a href="ZF/index.html">ZF (Set Theory)</a></li> |
|
21 |
|
22 <li><a href="CCL/index.html">CCL (Classical Computational Logic)</a></li> |
|
23 |
|
24 <li><a href="LCF/index.html">LCF (Logic of Computable Functions)</a></li> |
|
25 |
|
26 <li><a href="FOLP/index.html">FOLP (FOL with Proof Terms)</a></li> |
|
27 </ul> |
|
28 </li> |
|
29 </ul> |
|
30 |
|
31 <ul> |
|
32 <li>Miscellaneous</li> |
|
33 |
|
34 <li style="list-style: none"> |
|
35 <ul> |
|
36 <li><a href="Sequents/index.html">Sequents (first-order, modal and linear logics)</a></li> |
|
37 |
|
38 <li><a href="CTT/index.html">CTT (Constructive Type Theory)</a></li> |
|
39 |
|
40 <li><a href="Cube/index.html">Cube (The Lambda Cube)</a></li> |
|
41 </ul> |
|
42 </li> |
|
43 </ul> |
|
44 |