Project Structure

logics is divided into three submodules: classes, instances and utils

As the names indicate, classes contains the class definitions, which may be thought of as metatheoretical definitions or specifications of concepts (e.g. what a language is, what a formula is, what a many-valued system is, etc.)

instances contains particular instantiations of those classes for some known systems. For example, some instances for the class MixedManyValuedSemantics include the systems K3, LP, ST, TS and classical logic.

utils is composed of utilities such as parsers (which allow working with Formula and Inference objects much more easily), random formula generators, solvers, etc. In general, both the utility classes and their instances are defined in the same file.