Core

This is the core of ct4l: it contains all the basic entities that are needed for the implementation of the main funcionalities.

• Syntax
  • Signatures
  • Formulas
• Semantics
  • Domains
  • Truth-tables
  • Multi-algebras
  • PN-matrices
• Proof-theory