Секвенциальные аксиоматизации пропозициональных логик нельсоновского типа
##plugins.themes.bootstrap3.article.sidebar##
Published:
10.04.2011
##plugins.themes.bootstrap3.article.main##
Abstract
The sequent systems axiomatizing four Nelson’s type logics are presented.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Popov V. Секвенциальные аксиоматизации пропозициональных логик нельсоновского типа // Logicheskie Issledovaniya / Logical Investigations. 2011. VOL. 17. C. 246-250.
Issue
Section
Papers
References
Генцен Г. Исследования логических выводов // Математическая теория логического вывода. М., 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.