Секвенциальная аксиоматизация паранормальной логики PContPComp
Main Article Content
Abstract
The sequent calculus axiomatizing paranormal logic PContPComp is presented.
Downloads
Download data is not yet available.
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.