Trivalent logics arising from L-models for the Lambek calculus with constantsстатья

Информация о цитировании статьи получена из Scopus
Дата последнего поиска статьи во внешних источниках: 10 августа 2018 г.

Работа с статьей


[1] Kuznetsov S. L. Trivalent logics arising from l-models for the lambek calculus with constants // Journal of Applied Non-classical logics. — 2014. — Vol. 14, no. 1-2. — P. 132–137. We consider language models for the Lambek calculus that allow empty antecedents and enrich them with constants for the empty language and for the language containing only the empty word. No complete calculi are known with respect to these semantics, and in this paper we consider several trivalent systems that arise as fragments of these models’ logics. [ DOI ]

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть