Четыре простые паралогики: семантики и секвенциальные формулировки

Abstract

The semantics adequate to a paraconsistent logic $I_{1,\omega}$, a paracomplete logic $I_{2,\omega}$, paranormal logics $I_{0,\omega}$ and $I_{3,\omega}$ are constructed. The sequent systems axiomatizing these logics are discribed. The embeddings of classical propositional logic into $I_{0,\omega}$, $I_{1,\omega}$, $I_{2,\omega}$ and $I_{3,\omega}$ are defined.