Description: This line is dedicated to the investigation and systematic analysis of logical systems from the perspective of contemporary formal philosophical logic in its plurality. This line includes the following segments:
a) Non-Classical Logics, dedicated to the investigation of the various conceptual aspects of paraconsistent, fuzzy, modal, intuitionistic logics, and other so-called “non-classical” logic systems, seeking to find interrelationships between different types of logics (using, for example, translations between logic systems), as well as the definition of appropriate proof systems and semantics; and
 b) Formal Semantics, dedicated to the investigation and proposal of formal semantics such as semantics of bivalences, possible worlds, probabilistic and possibilistic semantics, logical matrices and twist structures. Within this segment, the study and development of non-deterministic semantics stands out, especially through non-deterministic matrices and swap structures, the latter introduced by M. Coniglio and W. Carnielli. These studies include algebraic aspects and category theory. One of the aims of developing general semantics is to apply it to the theory of combinations between logics.