======
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.

.. toctree::

    signature.rst
    formulas.rst