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

##plugins.themes.bootstrap3.article.sidebar##

PDF (Русский)
Published: 02.11.2004
DOI: https://doi.org/10.21146/2074-1472-2004-11-0-95-98

##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##

How to Cite
Bystrov P. Релевантное исчисление в форме аналитических таблиц. // Logicheskie Issledovaniya / Logical Investigations. 2004. VOL. 11. C. 95-98.
Issue
Vol 11 (2004)
Section
Papers

References

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

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

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