n-значные матрицы для классической логики высказываний
Article Sidebar
Опубликован:
30.11.2009
Ключевые слова:
многозначные логики, классическая логика высказываний, логические матрицы, отношение логического следования
Main Article Content
Аннотация
Статья посвящена многозначным логическим матрицам, задающим классический класс тавтологий. Описывается класс таких матриц с классическим отношением следования. Кроме того, кроме того, описывается несколько классов многозначных матриц интересующего нас типа с неклассическим отношением следования.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Девяткин Л. n-значные матрицы для классической логики высказываний // Логические исследования / Logical Investigations. 2009. Т. 15. C. 94-105.
Выпуск
Раздел
Статьи
Литература
Девяткин Л. Ю., Карпенко А. СПопов В. М. Трехзначные характеристические матрицы классической пропозициональной логики // Труды научно- исследовательского семинара Логического центра Института философии РАН. Вып XVIII. М.: ИФ РАН, 2007. С. 50-62.
Epstein R. L. The semantic foundations of logic. Vol. 1: Propositional logic. Dordrecht, 1990. P. 263-287.
Malinowski G. On Many-Valuedness, Sentential Identity, Interference and Lukasiewicz Modalities // Logica Trianguli. Lodz, Nantes, Santiago de Compostella, 1997. Vol. 1. P. 61-71.
Rescher N. Many-valued logic. N. Y., 1969. P 31-33.
Epstein R. L. The semantic foundations of logic. Vol. 1: Propositional logic. Dordrecht, 1990. P. 263-287.
Malinowski G. On Many-Valuedness, Sentential Identity, Interference and Lukasiewicz Modalities // Logica Trianguli. Lodz, Nantes, Santiago de Compostella, 1997. Vol. 1. P. 61-71.
Rescher N. Many-valued logic. N. Y., 1969. P 31-33.