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.