Четыре следования, три порядка, две матрицы, одна бирешетка

Main Article Content

Л. Ю. Девяткин

Аннотация

В настоящей работе будет показано, как на основе четырех попарно различных отношений логического следования, которые можно определить в терминах выделенных и анти-выделенных значений, и двух произвольных конечнозначных матриц для некоторого пропозиционального языка можно построить шестиэлементную бирешетку с порядками по отношению логического следования и классу тавтологий.

Скачивания

Данные скачивания пока не доступны.

Article Details

Как цитировать
[1]
Л. Ю. Девяткин. Четыре следования, три порядка, две матрицы, одна бирешетка // Логические исследования / Logical Investigations. 2018. Т. 18. № 1.
.
Раздел
Статьи