Embedding classical propositional logic into paralogics related to Par
Article Sidebar
Published:
08.05.2014
Keywords:
classical propositional logic, paraconsistent logic, paracomplete logic, embedding map
Main Article Content
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.
Downloads
Download data is not yet available.
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.