Embedding classical propositional logic into paralogics related to Par

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

V. M. Popov

Abstract

The work is carried out in the line with a study of connections between classical logic, on one hand, and non-classical logics, on the other hand. In the paper an effectively computable mapping is constructed that embeds classical propositional logic into any paralogic, which includes logic Par from [2] and has the same language with Par.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers

References

Мендельсон Э. Введение в математическую логику. Наука, М.: 1971.
Попов В.М. Секвенциальные формулировки паранепротиворечивых логических систем //Синтаксические и семантические исследования неэкстенсиональных логик. М.: Наука. 1989. С. 285–289.
Попов В.М. Между Par и множеством всех формул // Шестые смирновские чтения по логике. Материалы международной научной конференции 17-19 июня 2009 г., Москва. М., 2009. С. 93–95.
Розоноэр Л.И. О выявлении противоречий в формальных теориях. I // Автоматика и телемеханика. №6. 1983. С. 113–124.
Розоноэр Л.И. О выявлении противоречий в формальных теориях. II // Автоматика и телемеханика. №7. 1983. С. 97–104.
Avron A. Natural 3-valued Logics: Characterization and proof theory // Journal of Symbolic Logic, Vol. 56, 1991. P. 276–294.
Batens D. Paraconsistent extensional propositional logic // Logique et Analyse, Vol. 23, 1980. P. 127–139.