=========
Semantics
=========

This part of *ct4l* provides entities commonly explored when
we deal with truth-functional semantics, like
truth-tables, algebras and logical matrices. We take advantage
of the last advancements on non-deterministic semantics to
empower our representations with non-determinism.

.. toctree::

    domains.rst
    truth_tables.rst
    multi_algebras.rst
    pnmatrices.rst