The lattice of extensions of the minimal logic |
| |
Authors: | S P Odintsov |
| |
Institution: | (1) Sobolev Institute of Mathematics, Novosibirsk, 630090, Russia |
| |
Abstract: | In this article, we survey the results on the lattice of extensions of the minimal logic Lj, a paraconsistent analog of the intuitionistic logic Li. Unlike the well-studied classes of explosive logics, the class of extensions of the minimal logic has an interesting global structure. This class decomposes into the disjoint union of the class Int of intermediate logics, the class Neg of negative logics with a degenerate negation, and the class Par of properly paraconsistent extensions of the minimal logic. The classes Int and Neg are well studied, whereas the study of Par can be reduced to some extent to the classes Int and Neg. |
| |
Keywords: | Johansson’ s logic j-algebra paraconsistency lattice of logics negative equivalence |
本文献已被 SpringerLink 等数据库收录! |
|