Две последовательности простых паранепротиворечивых логик

Abstract

The infinite sequences $I_{1,1}$, $I_{1,2}$, $I_{1,3}$, … $I_{1,\omega}$ and $Int_{1,1}$, $Int_{1,2}$, $Int_{1,3}$, … $Int_{1,\omega}$ of simple paraconsistent logics are defined. The sequent systems axiomatizing these logics are discribed.