Секвенциальная аксиоматизация паранормальной логики PContPComp
Article Sidebar
Опубликован:
10.04.2011
Ключевые слова:
секвенция, исчисление, паранормальная логика, паранепротиворечивая логика, параполная логика
Main Article Content
Аннотация
Представлено секвенциальное исчисление, аксиоматизирующее паранормальную логику PContPComp.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Попов В. Секвенциальная аксиоматизация паранормальной логики PContPComp // Логические исследования / Logical Investigations. 2011. Т. 17. C. 240-245.
Выпуск
Раздел
Статьи
Литература
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 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.