Субструктурный вариант импликативно-негативного фрагмента модальной системы S5.
Article Sidebar
Опубликован:
04.11.2003
Main Article Content
Аннотация
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.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Быстров П. Субструктурный вариант импликативно-негативного фрагмента модальной системы S5. // Логические исследования / Logical Investigations. 2003. Т. 10. C. 17-22.
Выпуск
Раздел
Статьи
Литература
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.