Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс: 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
Идентификатор PURE: 12654295
2dd86377-e74e-42d1-b6cd-75eda79bf8bb
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.pdf624,7 kBAdobe PDFПросмотреть/Открыть


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