clasohm@1311:
Isabelle Logics
clasohm@1311: Isabelle Logics
clasohm@1311: Click on the logic's name to view a list of its theories.
clasohm@1311:
clasohm@1311: First-Order Logic
clasohm@1311:
clasohm@1311: - FOL
clasohm@1311:
- ZF
clasohm@1311:
- CCL
clasohm@1311:
- LCF
clasohm@1311:
clasohm@1311:
clasohm@1311: Higher-Order Logic
clasohm@1311:
clasohm@1311: - HOL
clasohm@1311:
- HOLCF
clasohm@1311:
clasohm@1311:
clasohm@1311: Sequent Calculus
clasohm@1311:
clasohm@1311: - LK
clasohm@1311:
- Modal
clasohm@1311:
clasohm@1311:
clasohm@1311: Miscellaneous
clasohm@1311:
clasohm@1311: - CTT
clasohm@1311:
- Cube
clasohm@1311:
- FOLP
clasohm@1311:
clasohm@1311:
clasohm@1311: