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

Аннотация

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