Четыре следования, три порядка, две матрицы, одна бирешетка
Article Sidebar
Опубликован:
03.05.2012
Ключевые слова:
произведения логических матриц, анти-выделенные значения, отношения логического следования
Main Article Content
Аннотация
В настоящей работе будет показано, как на основе четырех попарно различных отношений логического следования, которые можно определить в терминах выделенных и анти-выделенных значений, и двух произвольных конечнозначных матриц для некоторого пропозиционального языка можно построить шестиэлементную бирешетку с порядками по отношению логического следования и классу тавтологий.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Девяткин Л. Четыре следования, три порядка, две матрицы, одна бирешетка // Логические исследования / Logical Investigations. 2012. Т. 18. C. 127-131.
Выпуск
Раздел
Статьи
Литература
Dunn J.M. Partiality and its dual // Studia Logica. V. 66. 2000. Pp. 5-40.
Frankowski S. Formalization of a plausible inference // Bulletin of the Section of Logic. V. 33. 2004. Pp. 41-52.
Kalicki J. A test for the equality of truth-tables // The Journal of Symbolic Logic. V. 17. № 3. 1952. Pp. 161-163.
Malinowski G. Inferential many-valuedness // Philosophical logic in Poland, J.Wolenski (ed.). Synthese Library, Kluwer Academic Publishers, Dordrecht. 1994. Pp. 74-84.
Rescher N. Many-Valued Logic. New York (McGraw-Hill), 1969. Reprinted: Aldershot (Gregg Revivals), 1993. Pp. 96-101.
Shramko Y., Wansing H. Entailment realtions and/as truth values // Bulletin of the Section of Logic. V. 36:3/4. 2007. Pp. 131-143.
Frankowski S. Formalization of a plausible inference // Bulletin of the Section of Logic. V. 33. 2004. Pp. 41-52.
Kalicki J. A test for the equality of truth-tables // The Journal of Symbolic Logic. V. 17. № 3. 1952. Pp. 161-163.
Malinowski G. Inferential many-valuedness // Philosophical logic in Poland, J.Wolenski (ed.). Synthese Library, Kluwer Academic Publishers, Dordrecht. 1994. Pp. 74-84.
Rescher N. Many-Valued Logic. New York (McGraw-Hill), 1969. Reprinted: Aldershot (Gregg Revivals), 1993. Pp. 96-101.
Shramko Y., Wansing H. Entailment realtions and/as truth values // Bulletin of the Section of Logic. V. 36:3/4. 2007. Pp. 131-143.