Погружение классической пропозициональной логики в некоторые паралогики.
Main Article Content
Abstract
The classic propositional calculus PC is embedded into several paralogies by different embedding operations , which are constructed.
Downloads
Download data is not yet available.
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.