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:

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.