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.