Релевантное исчисление в форме аналитических таблиц.
##plugins.themes.bootstrap3.article.main##
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
Section
Papers
References
Быстров П.И. Проблемы построения табличных вариантов модальных и релевантных систем // Труды научно-исследовательского семинара логического центра Института философии РАН. М., 2004.
Смирнов В А. Формальный вывод и логические исчисления. М.: Наука, 1973.
Smullyan R.M. First-Order Logic. Dover Publications Inc. New York, 1995.
Смирнов В А. Формальный вывод и логические исчисления. М.: Наука, 1973.
Smullyan R.M. First-Order Logic. Dover Publications Inc. New York, 1995.