Релевантное исчисление в форме аналитических таблиц.

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

P.A. Bystrov

Abstract

Tableaux version of the propositional relevant system is considered. It exposes certain modification of the analytic tableaux construction method similar to the approach used in Gentzen-style sequent calculus constructions with “generalized” inference rules.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Быстров П.И. Проблемы построения табличных вариантов модальных и релевантных систем // Труды научно-исследовательского семинара логического центра Института философии РАН. М., 2004.

Смирнов В А. Формальный вывод и логические исчисления. М.: Наука, 1973.

Smullyan R.M. First-Order Logic. Dover Publications Inc. New York, 1995.