Секвенциальные аксиоматизации пропозициональных логик нельсоновского типа
Article Sidebar
Опубликован:
10.04.2011
Ключевые слова:
секвенция, исчисление, паранормальная логика, паранепротиворечивая логика, параполная логика
Main Article Content
Аннотация
Представлены секвенциальные системы, аксиоматизирующие четыре логики типа Нельсона.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Попов В. Секвенциальные аксиоматизации пропозициональных логик нельсоновского типа // Логические исследования / Logical Investigations. 2011. Т. 17. C. 246-250.
Выпуск
Раздел
Статьи
Литература
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 1967. С.9-74.
Попов В.М. Между Par и множеством всех формул // Шестые смирновские чтения по логике. Материалы международной научной конференции 17-19 июня 2009. М., 2009. С. 93-95.
Попов В.М. Секвенциальная аксиоматизация паранормальной логики PContPComp // В настоящем сборнике.
Смирнов В.А. Формальный вывод и логические исчисления // Смирнов В.А. Теория логического вывода. М., 1999. С. 16-233.
Almukdad A., Nelson D. Constructible falsity and inexact predicates // J. Symb. Log. 1984. Vol. 49. №1.P. 231-233.
Nelson D. Constructible falsity // J. Symb. Log. 1949. Vol. 14. № 1. P. 16-26.
Попов В.М. Между Par и множеством всех формул // Шестые смирновские чтения по логике. Материалы международной научной конференции 17-19 июня 2009. М., 2009. С. 93-95.
Попов В.М. Секвенциальная аксиоматизация паранормальной логики PContPComp // В настоящем сборнике.
Смирнов В.А. Формальный вывод и логические исчисления // Смирнов В.А. Теория логического вывода. М., 1999. С. 16-233.
Almukdad A., Nelson D. Constructible falsity and inexact predicates // J. Symb. Log. 1984. Vol. 49. №1.P. 231-233.
Nelson D. Constructible falsity // J. Symb. Log. 1949. Vol. 14. № 1. P. 16-26.