Нестандартный метод табличных конструкций для модальных и релевантных логик.

Аннотация

Предлагается метод построения табличных систем с индексированными формулами. Данный метод используется для формулировки табличных вариантов ряда модальных исчислений, являющихся расширенияии $S4$, а также релевантных систем, близких к пропозициональным: систелам $RM$ и $R$.