Embedding classical propositional logic into paralogics related to Par
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Popov V. M. Embedding classical propositional logic into paralogics related to Par // Logicheskie Issledovaniya / Logical Investigations. 2014. VOL. 20. C. 149-158.
Issue
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.
Попов В.М. Секвенциальные формулировки паранепротиворечивых логических систем //Синтаксические и семантические исследования неэкстенсиональных логик. М.: Наука. 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.