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

Article Sidebar

PDF (English)
Опубликован: 08.05.2014
DOI: https://doi.org/10.21146/2074-1472-2014-20-0-246-252

Main Article Content

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

Аннотация

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

Скачивания

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

Article Details

Как цитировать
Девяткин Л. Ю. Three-valued matrices with classical consequence relation for an arbitrary propositional language // Логические исследования / Logical Investigations. 2014. Т. 20. C. 246-252.
Выпуск
Том 20 (2014)
Раздел
Статьи

Литература

Devjatkin L.Ju., Karpenko A.S., Popov V.M. Trehznachnye harakteristicheskie matricy klassicheskoj propozicional’noj logiki // Trudy nauchno-issledovatel’skogo seminara Logicheskogo centra Instituta filosofii RAN. 2007. № 18. P.50–62