Секвенциальные аксиоматизации пропозициональных логик нельсоновского типа

##plugins.themes.bootstrap3.article.main##

V.M. Popov

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##

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.