A Lindström theorem in many-valued modal logic over a finite MTL-chain

Badia, G.; Olkhovikov, G.

doi:10.1016/j.fss.2019.03.002

Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: http://elar.urfu.ru/handle/10995/101794

Название:	A Lindström theorem in many-valued modal logic over a finite MTL-chain
Авторы:	Badia, G. Olkhovikov, G.
Дата публикации:	2020
Издатель:	Elsevier B.V.
Библиографическое описание:	Badia G. A Lindström theorem in many-valued modal logic over a finite MTL-chain / G. Badia, G. Olkhovikov. — DOI 10.1016/j.fss.2019.03.002 // Fuzzy Sets and Systems. — 2020. — Vol. 388. — P. 26-37.
Аннотация:	We consider a modal language over crisp frames and formulas evaluated on a finite MTL-chain (a linearly ordered commutative integral residuated lattice). We first show that the basic modal abstract logic with constants for the values of the MTL-chain is the maximal abstract logic satisfying Compactness, the Tarski Union Property and strong invariance for bisimulations. Finally, we improve this result by replacing the Tarski Union Property by a relativization property. © 2019 Elsevier B.V.
Ключевые слова:	BISIMULATION FUZZY LOGIC LINDSTRÖM THEOREM MANY-VALUED MODAL LOGIC MTL-CHAINS RESIDUATED LATTICES COMPUTER CIRCUITS LINEARIZATION MANY VALUED LOGICS ABSTRACT LOGIC BISIMULATIONS MODAL LANGUAGE MODAL LOGIC RESIDUATED LATTICES STRONG INVARIANCE FUZZY LOGIC
URI:	http://elar.urfu.ru/handle/10995/101794
Условия доступа:	info:eu-repo/semantics/openAccess
Идентификатор SCOPUS:	85062700102
Идентификатор WOS:	000524268800002
Идентификатор PURE:	2dd86377-e74e-42d1-b6cd-75eda79bf8bb 12654295
ISSN:	1650114
DOI:	10.1016/j.fss.2019.03.002
Сведения о поддержке:	We are grateful to two anonymous referees and the editor of this journal for their numerous and helpful comments. Their help greatly improved the paper. Guillermo Badia is supported by the project I 1923-N25 of the Austrian Science Fund (FWF). Grigory Olkhovikov is supported by Deutsche Forschungsgemeinschaft (DFG), project WA 936/11-1.
Располагается в коллекциях:	Научные публикации ученых УрФУ, проиндексированные в SCOPUS и WoS CC

Файлы этого ресурса:

Файл	Описание	Размер	Формат
2-s2.0-85062700102.pdf		624,7 kB	Adobe PDF	Просмотреть/Открыть

Показать полное описание ресурса Статистика

Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.