Секвенциальная аксиоматизация паранормальной логики PContPComp

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

V.M. Popov

Abstract

The sequent calculus axiomatizing paranormal logic PContPComp is presented.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Статьи

References

Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967.
Знаменская Н.А., Попов В.М. Паранормальная логика PContPComp как пересечение паранепротиворечивой логики PCont и параполной логики РСоmp // Шестые смирновские чтения по логике. Материалы международной научной конференции 17-19 июня 2009. М., 2009. С. 63-65.
Попов В.М. Между Par и множеством всех формул // Шестые смирновские чтения по логике. Материалы международной научной конференции 17-19 июня 2009. М., 2009. С. 93-95.
Смирнов В.А. Формальный вывод и логические исчисления // Смирнов В.А. Теория логического вывода. М., 1999. С. 16-233.

##plugins.generic.recommendByAuthor.heading##

1 2 3 > >>