Субструктурный вариант импликативно-негативного фрагмента модальной системы S5.
##plugins.themes.bootstrap3.article.sidebar##
Published:
04.11.2003
##plugins.themes.bootstrap3.article.main##
Abstract
Substructureil version of the implicative-negative part of propositional modal system S5 is considered. It is represented in the form of analytic tableaux as certain modification of analytic tableaux elaborated by Beth, Hintikka, Smullyan and Fitting and in the form of Gentzen-style sequent calculus with “global”rule of inference for modal operator.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Bystrov P. Субструктурный вариант импликативно-негативного фрагмента модальной системы S5. // Logicheskie Issledovaniya / Logical Investigations. 2003. VOL. 10. C. 17-22.
Issue
Section
Papers
References
Smullyan R.M.. First-Order Logic. Dover Publications. Inc., New York, 1995.
Bystrov P.I. Non-Standard Sequent Calculi for Modal and Relevant Logics / Philosophical Logic and Logical Philosophy. Peter I Bystrov and Vadim N. Sadovsky (eds.). Kluwer Academic Publishers, 1996. P. 135-155.
Bystrov P.I. Non-Standard Sequent Calculi for Modal and Relevant Logics / Philosophical Logic and Logical Philosophy. Peter I Bystrov and Vadim N. Sadovsky (eds.). Kluwer Academic Publishers, 1996. P. 135-155.