Секвенциальная аксиоматизация паранормальной логики PContPComp
##plugins.themes.bootstrap3.article.sidebar##
Published:
10.04.2011
##plugins.themes.bootstrap3.article.main##
Abstract
The sequent calculus axiomatizing paranormal logic PContPComp is presented.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Popov V. Секвенциальная аксиоматизация паранормальной логики PContPComp // Logicheskie Issledovaniya / Logical Investigations. 2011. VOL. 17. C. 240-245.
Issue
Section
Papers
References
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967.
Знаменская Н.А., Попов В.М. Паранормальная логика PContPComp как пересечение паранепротиворечивой логики PCont и параполной логики РСоmp // Шестые смирновские чтения по логике. Материалы международной научной конференции 17-19 июня 2009. М., 2009. С. 63-65.
Попов В.М. Между Par и множеством всех формул // Шестые смирновские чтения по логике. Материалы международной научной конференции 17-19 июня 2009. М., 2009. С. 93-95.
Смирнов В.А. Формальный вывод и логические исчисления // Смирнов В.А. Теория логического вывода. М., 1999. С. 16-233.
Знаменская Н.А., Попов В.М. Паранормальная логика PContPComp как пересечение паранепротиворечивой логики PCont и параполной логики РСоmp // Шестые смирновские чтения по логике. Материалы международной научной конференции 17-19 июня 2009. М., 2009. С. 63-65.
Попов В.М. Между Par и множеством всех формул // Шестые смирновские чтения по логике. Материалы международной научной конференции 17-19 июня 2009. М., 2009. С. 93-95.
Смирнов В.А. Формальный вывод и логические исчисления // Смирнов В.А. Теория логического вывода. М., 1999. С. 16-233.