We will present all the mixed and impure disjoint three-valued logics based on the Strong Kleene schema. Some, but not all of them, are (inferentially) empty logics, while one of them is trivial. We will compare them ...

This article is concerned with an exploration of a family of systems---called immune logics---whose main properties are, in some sense, related to those of the well-known family of infectious logics. The distinctive feature ...

Spinks and Veroff have shown that constructive logic with strong negation (CLSN for short), can be considered as a substructural logic. We use algebraic tools developed to study substructural logics to investigate some ...

In the literature, Weak Kleene logics are usually taken as three-valued logics. However, Suszko has challenged the main idea of many-valued logic claiming thatevery logic can be presented in a two-valued fashion. In this ...

Sette and Carnielli introduced the axiomatic system I1 in 1995, which presents an intuitionistic character, in the same regard of the logical system developed by Arend Heyting (1898-1980), that is, as a logic underlying ...

We will present a three-valued consequence relation for metainferences, called CM, defined through ST and TS, two well known substructural consequence relations for inferences. While ST recovers every classically valid ...