Системы натурального вывода для некоторых логик с истинностными провалами и логик с пресыщенными оценками

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

V.O. Shangin

Abstract

In the paper we present Fitch-style natural deduction systems of some logics with truth-value gluts and truth-value gaps. We show that natural deduction systems of the logics in question can be set up with different formulations of either the disjunction elimination rule or the negation introduction rule. We give a constructive proof that for each natural deduction system N of a logic $\alpha$, a formula A is N-provable iff A is a $\alpha$-theorem.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Avron A. Natural 3-valued logics: characterization and proof theory // Journal of Symbolic Logic. 1991. Vol. 56. №1. P. 276-294.
Бочаров В.А., Маркин В.И. Введение в логику: учебник. М.: ИД «Форум»: ИНФРА-М, 2008.
Попов В.М. Секвенциальные формулировки паранепротиворечивых логических систем // Синтаксические и семантические исследования неэкстенсиональных логик (под ред. Смирнова В.А.). М.: Наука, 1989. С. 285-289.
Попов В. М. Между Par и множеством всех формул // Материалы VI Международной конференции «Смирновские чтения» (отв. ред. Маркин В.И.). М.: Современные тетради, 2009. С. 93-95.
Розоноэр Л.И. О выявлении противоречий в формальных теориях. I // Автоматика и телемеханика, №6. М.: Наука, 1983. С. 113-124.
Шангин В.О. Системы натурального вывода для логик Par, PCont, PComp и PContPComp // Материалы Научной конференции «Логика, методология, науковедение: актуальные проблемы и перспективы». Ростов-на-Дону, 2010.
Шангин В.О. Системы натурального вывода для паранепротиворечивых логик, родственных логике, индуцированной исчислением VI А. Арруда // Материалы Международной конференции «„Воображаемая логика“ Н.А. Васильева и современные неклассические логики». Казань, 2010. С. 106-108.

##plugins.generic.recommendByAuthor.heading##