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

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

P .I. Bystrov

Abstract

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

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers