Погружение классической пропозициональной логики в некоторые паралогики.

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

I.A. Karpenko

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##

Section
Статьи

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.