Equality of consequence relations in finite-valued logical matrices

Article Sidebar

PDF (English)
Опубликован: 09.04.2013
DOI: https://doi.org/10.21146/2074-1472-2013-19-0-273-280

Main Article Content

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

Аннотация

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

Как цитировать
Девяткин Л. Equality of consequence relations in finite-valued logical matrices // Логические исследования / Logical Investigations. 2013. Т. 19. C. 273-280.
Выпуск
Том 19 (2013)
Раздел
Статьи

Литература

Kalicki, J., A test for the existence of tautologies according to manyvalued truth-tables, Journal of Symbolic Logic 15:182–184, 1950.
Kalicki, J., A test for the equality of truth-tables, Journal of Symbolic Logic 17:161–163, 1952.