Нестандартный метод табличных конструкций для модальных и релевантных логик.
##plugins.themes.bootstrap3.article.main##
Abstract
Предлагается метод построения табличных систем с индексированными формулами. Данный метод используется для формулировки табличных вариантов ряда модальных исчислений, являющихся расширенияии $S4$, а также релевантных систем, близких к пропозициональным: систелам $RM$ и $R$.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Bystrov P. .I. Нестандартный метод табличных конструкций для модальных и релевантных логик. // Logicheskie Issledovaniya / Logical Investigations. 1993. VOL. 1. C. 156-170.
Issue
Section
Papers