К проблеме выразимости операций характеристических матриц паранепротиворечивых и параполных логик

Main Article Content

Н. А. Знаменская

Аннотация

В предлагаемой работе конструируются тождества, выражающие: 1) импликация каждой матрицы МPCont, МPCont(1), МPComp(1) через операции матрицы МLPF, 2) импликация каждой матрицы МPCont, МLPF , МPComp(1) через операции матрицы МPCont(1), 3) импликация каждой матрицы МPCont, МLPF, МPCont(1) через операции матрицы МPComp(1). Кроме того доказывается, что импликации логических матриц МLPF, МPCont(1) и МPComp(1) не являются выразимыми через операции матрицы МPCont.

Скачивания

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

Article Details

Как цитировать
[1]
Н. А. Знаменская. К проблеме выразимости операций характеристических матриц паранепротиворечивых и параполных логик // Логические исследования / Logical Investigations. 2018. Т. 18. № 1.
.
Раздел
Статьи