Естественные p-логики
##plugins.themes.bootstrap3.article.sidebar##
Published:
10.04.2011
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Tomova N. Естественные p-логики // Logicheskie Issledovaniya / Logical Investigations. 2011. VOL. 17. C. 256-268.
Issue
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.
Девяткин Л.Ю. Многозначные изоморфы классической пропозициональной логики. Дис. ... канд. филос. наук. М., 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.