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

Аннотация

Строятся бесконечные последовательности $I_{1,1}$, $I_{1,2}$, $I_{1,3}$, … $I_{1,\omega}$ и $Int_{1,1}$, $Int_{1,2}$, $Int_{1,3}$, … $Int_{1,\omega}$ простых паранепротиворечивых логик. Описываются секвенциальные системы, аксиоматизирующие эти логики.