Syntax

Syntax is related to the symbolic entities used to represent propositions and sentences. For example, we have connectives, propositional signatures and propositional formulas. Currently we do not support first-order languages.

• Signatures
  • Propositional signatures
  • API
• Formulas
  • Propositional languages
    • Parsing propositional formulas
    • Working with sets of formulas
  • First-order languages
  • API