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

Article Sidebar

PDF
Опубликован: 02.11.2004
DOI: https://doi.org/10.21146/2074-1472-2004-11-0-95-98

Main Article Content

П.И. Быстров

Аннотация

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.

Скачивания

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

Article Details

Как цитировать
Быстров П. Релевантное исчисление в форме аналитических таблиц. // Логические исследования / Logical Investigations. 2004. Т. 11. C. 95-98.
Выпуск
Том 11 (2004)
Раздел
Статьи

Литература

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

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

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