Естественные p-логики
Article Sidebar
Опубликован:
10.04.2011
Ключевые слова:
трехзначные логики, р-логики, естественные р-логики, решетка естественных р-логик, функциональные свойства р-логик
Main Article Content
Аннотация
В данной статье обобщено понятие $p$ -логики и рассмотрен класс естественных $p$ -логик и его функциональные свойства. Показано, что паранепротиворечивая логика $\mathbf {P}^1$ и параполная логика $\mathbf{I}^1$ функционально эквивалентны. В заключение естественные $p$ -логики представлены в виде решетки
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Томова Н. Естественные p-логики // Логические исследования / Logical Investigations. 2011. Т. 17. C. 256-268.
Выпуск
Раздел
Статьи
Литература
Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления // Математический сборник. 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.