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

##plugins.themes.bootstrap3.article.sidebar##

PDF (Русский)
Published: 22.04.1993
DOI: https://doi.org/10.21146/2074-1472-1993-1-0-156-170

##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##

How to Cite
Bystrov P. .I. Нестандартный метод табличных конструкций для модальных и релевантных логик. // Logicheskie Issledovaniya / Logical Investigations. 1993. VOL. 1. C. 156-170.
Issue
Vol 1 (1993)
Section
Papers