Метод взаимного перевода индексированных и табличных выводов.

##plugins.themes.bootstrap3.article.main##

P.I. Bystrov

Abstract

There “indexed derivation” means a derivation in Gentzen-style modal sequent calculi with indexed formulae. These calculi admit direct constructive proof of cut-elimination theorem. As consequence we have explicit procedure of mutual transformation for indexed and tableaux-style derivations in so called “normal” modal propositional systems.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи