OKlibrary  0.2.1.6
Logics.hpp File Reference

Plans regarding building of (general) logic systems. More...

Go to the source code of this file.


Detailed Description

Plans regarding building of (general) logic systems.

Todo:
Hets
Todo:
Proof assistants
Todo:
Modal logic
Todo:
Support for bounded arithmetic
  • We would like to have a system which supported handling of logics like the various systems of bounded arithmetic.
  • Haskell:
    1. Are there logic libraries?
  • What does Isabelle deliver here?
  • Ask the group of Stephen Cook (AB).
  • Ask the group of Sam Buss (AB).
  • What about the field of all these "general logics" --- do they have some general software system??

Definition in file Logics.hpp.