Взаимное преобразование секвенциальных и натуральных выводов в модальной логике.

Main Article Content

П.И. Быстров

Аннотация

Constructive method of mutual transformation of sequent and natural deductions in modal systems is presented. The procedure of transformation is illustrated using two propositional modal systems \textbf{GS5} and \textbf{NS5} . The first is sequent calculus with global versions of modal inference rules. The second is natural deduction system with marked occurences of formulae. This method can be applied to various so called normal modal systems, particulary to the systems which are extensions of \textbf{S4} and at the same time subsystems of \textbf{S5} .

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
Быстров П. Взаимное преобразование секвенциальных и натуральных выводов в модальной логике. // Логические исследования / Logical Investigations. 1998. Т. 6. C. 61-68.
Выпуск
Раздел
Статьи