Equality of consequence relations in finite-valued logical matrices

Main Article Content

L. Yu. Devyatkin

Аннотация




In this paper the procedure is presented that allows to determine in finite number of steps if consequence relations in two finite-valued logical matrices for propostional language L are equal.




Скачивания

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

Article Details

Как цитировать
[1]
L. Y. Devyatkin. Equality of consequence relations in finite-valued logical matrices // Логические исследования / Logical Investigations. 2018. Т. 19. № 1.
.
Раздел
Неклассические логики