Three-valued matrices with classical consequence relation for an arbitrary propositional language

Main Article Content

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

Аннотация




In this paper the class of three-valued matrices with classical consequence relations is defined.




Скачивания

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

Article Details

Как цитировать
[1]
Л. Ю. Девяткин. Three-valued matrices with classical consequence relation for an arbitrary propositional language // Логические исследования / Logical Investigations. 2018. Т. 20. № 1.
.
Раздел
Статьи