Welcome to ct4l-lib’s documentation!

The ct4l-lib is part of the CT4L project, which stands for Compositional Tools for Logic, and consists of a collection of classes, algorithms and functionalities implemented in C++ to represent, manipulate and explore non-deterministic many-valued semantics and related deductive systems.