Погружение классической пропозициональной логики в некоторые паралогики.
##plugins.themes.bootstrap3.article.main##
Abstract
The classic propositional calculus PC is embedded into several paralogies by different embedding operations , which are constructed.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Karpenko I. Погружение классической пропозициональной логики в некоторые паралогики. // Logicheskie Issledovaniya / Logical Investigations. 2003. VOL. 10. C. 100-108.
Issue
Section
Papers
References
Мендельсон Э. Введение в математическую логику. М.: Наука, 1976.
Popov V.M. On the Logics Related to A.Arruda's System VI // Logic and Logical Philosophy. 1999. Vol.7. P. 87-90.
Попов B.M. Об одной трехзначной паранепротиворечивой логике // Современная логика: проблемы теории, истории и применения в науке. СПб., 2002.
Попов В.М. Об одной трехзначной параполной логике // Логические исследования. Вып.9. М.: Наука, 2002.
Попов В.М. Об одной параполной логике // Смирновские чтения. 3 международная конференция. М.: ИФРАН, 2001.
Popov V.M. On the Logics Related to A.Arruda's System VI // Logic and Logical Philosophy. 1999. Vol.7. P. 87-90.
Попов B.M. Об одной трехзначной паранепротиворечивой логике // Современная логика: проблемы теории, истории и применения в науке. СПб., 2002.
Попов В.М. Об одной трехзначной параполной логике // Логические исследования. Вып.9. М.: Наука, 2002.
Попов В.М. Об одной параполной логике // Смирновские чтения. 3 международная конференция. М.: ИФРАН, 2001.