Естественные p-логики

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

N.E. Tomova

Abstract

In this paper the notion of $p$-logic is generalized and the class of natural $p$-logics and its functional properties are considered. It is shown that paraconsistent logic $\mathbf{P}^1$ and paracomplete logic $\mathbf{I}^1$ are functionally equivalent. In conclusion natural $p$-logics are presented as a lattice.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Papers

References

Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления // Математический сборник. 1938. Т. 4. № 2. С. 287-308.
Девяткин Л.Ю. Многозначные изоморфы классической пропозициональной логики. Дис. ... канд. филос. наук. М., 2008.
Карпенко А.С. P-логики // Современная логика: проблемы теории, истории и применения в науке. (Материалы X Общероссийской научной конференции, 26-28 июня 2008 г., Санкт-Петербург.) СПб., 2008. С. 278-280.
Томова Н.Е. Импликативные расширения регулярных логик Клини // Логические исследования. Вып. 16. М., 2010. С. 233-258.
Финн В.К., Аншаков О.М., Григолия Р.Ш., Забежайло М.И. Многозначные логики как фрагменты формализованной семантики // Семиотика и информатика. 1980. Вып. 15. С. 27-60.
Финн В.К. Аксиоматизация некоторых трехзначных исчислений высказываний и их алгебр // Философия в современном мире. Философия и логика. М.: Наука, 1974. С. 398-438.
Финн В.К. О критерии функциональной полноты для $B_3$ // Исследования по формализованным языкам и неклассическим логикам. М.: Наука, 1974. С. 194-199.
Шестаков В.И. Об одном фрагменте исчисления Д.А. Бочвара // Информационные вопросы семиотики, лингвистики и автоматического перевода. ВИНИТИ. Вып. 1. М., 1971.
Karpenko A.S. A maximal paraconsistent logic: The combination of two three-valued isomorphs of classical propositional logic // Frontiers of Paraconsistent Logic. Baldock: Research Studies Press, 2000. P. 181-187.
Sette A.M. On propositional calculus P1 // Mathematica Japonica. 1973. Vol. 18. № 3. P. 173-180.
Sette A.M. and Carnielli W.A. Maximal weakly-intuitionistic logics // Studia Logica. 1995. Vol. 55. P. 181-203.