О некоторых функциональных свойствах трехзначных матриц для классической логики
Article Sidebar
Опубликован:
10.04.2011
Ключевые слова:
классическая пропозициональная логика, трехзначная логика, отношение логического следования, логические матрицы
Main Article Content
Аннотация
В данной статье описан ряд функциональных свойств импликативно-негативных трехзначных логических матриц с классическим отношением следования.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Девяткин Л. О некоторых функциональных свойствах трехзначных матриц для классической логики // Логические исследования / Logical Investigations. 2011. Т. 17. C. 109-120.
Выпуск
Раздел
Статьи
Литература
Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления // Математический сборник. Т. 4, № 2. 1938. С. 287-308.
Девяткин Л.Ю. Многозначные изоморфы классической пропозициональной логики. Кандидатская диссертация на соискание ученой степени кандидата философских наук. М., 2008. С. 29.
Мендельсон Э. Введение в математическую логику. М., 1984. С. 33.
Avron A. Natural 3-valued logics — characterization and proof theory // The Journal of Symbolic Logic. Vol. 56. № 1. P. 276-294.
Monteiro A. Construction des algebres de Lukasiewicz trivalentes dans les algebres de Boole monadiques, I // Mathematica Japonica. Vol. 12. P. 1-23.
Slupecki J., Bryl J. and Prucnal T. Some remarks on the three-valued logic of J. Jukasiewicz // Studia Logica. Vol. 21. P. 45-70.
Девяткин Л.Ю. Многозначные изоморфы классической пропозициональной логики. Кандидатская диссертация на соискание ученой степени кандидата философских наук. М., 2008. С. 29.
Мендельсон Э. Введение в математическую логику. М., 1984. С. 33.
Avron A. Natural 3-valued logics — characterization and proof theory // The Journal of Symbolic Logic. Vol. 56. № 1. P. 276-294.
Monteiro A. Construction des algebres de Lukasiewicz trivalentes dans les algebres de Boole monadiques, I // Mathematica Japonica. Vol. 12. P. 1-23.
Slupecki J., Bryl J. and Prucnal T. Some remarks on the three-valued logic of J. Jukasiewicz // Studia Logica. Vol. 21. P. 45-70.