Open AccessЧетыре следования, три порядка, две матрицы, одна бирешетка
Author(s) -
Л.Ю. Девяткин
Publication year - 2012
Publication title -
logičeskie issledovaniâ
Language(s) - Russian
Resource type - Journals
eISSN - 2413-2713
pISSN - 2074-1472
DOI - 10.21146/2074-1472-2012-18-0-127-131
Subject(s) - computer science
В настоящей работе будет показано, как на основе четырех попарно различных отношений логического следования, которые можно определить в терминах выделенных и анти-выделенных значений, и двух произвольных конечнозначных матриц для некоторого пропозиционального языка можно построить шестиэлементную бирешетку с порядками по отношению логического следования и классу тавтологий.