Паранепротиворечивые секвенциальные исчисления.

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

V.M. Popov

Abstract

Предлагаемые построения секвенциальных исчислений основаны на идее применения в процессе дедукции правил манипулирования не только с отдельными логическими константами, но и с комплексами таких констант. Использование этой идеи, конечно, не является прерогативой исследований паранепротиворечивых логик. Но в этой области ее использование позволяет дать удобные для поиска доказательств формулировки многих паранепротиворечивых логик. Каждое из рассматриваемых в этой работе паранепротиворечивых секвенциальных исчислений получается в результате соответствующей трансформации исходного исчисления GCL - одной из секвенциальных формулировок классической пропозициональной логики.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967.
Попов В.М. О разрешимости релевантной системы RAO // Модальные и интенсиональные логики. М., 1978.
Розоноэр Л.И. О выявлении противоречий в формальных теориях. 1 // Автоматика и телемеханика. 1983. ^ 6.
Сжирнов В.А. Формальный вывод и логические исчисления. М. , 1972.
Слирнов В.А. Представление логических систем с сильной и релевантной импликациями в секвенциальной форме // Теория логического вывода. М., 1974.

##plugins.generic.recommendByAuthor.heading##

1 2 3 > >>