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

##plugins.themes.bootstrap3.article.main##

V.M. Popov

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.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967. С. 9-74.