Standard

A Lindström theorem in many-valued modal logic over a finite MTL-chain. / Badia, Guillermo; Olkhovikov, Grigory.
In: Fuzzy Sets and Systems, Vol. 388, 01.06.2020, p. 26-37.

Research output: Contribution to journalArticlepeer-review

Harvard

APA

Vancouver

Badia G, Olkhovikov G. A Lindström theorem in many-valued modal logic over a finite MTL-chain. Fuzzy Sets and Systems. 2020 Jun 1;388:26-37. doi: 10.1016/j.fss.2019.03.002

Author

Badia, Guillermo ; Olkhovikov, Grigory. / A Lindström theorem in many-valued modal logic over a finite MTL-chain. In: Fuzzy Sets and Systems. 2020 ; Vol. 388. pp. 26-37.

BibTeX

@article{2dd86377e74e42d1b6cd75eda79bf8bb,
title = "A Lindstr{\"o}m theorem in many-valued modal logic over a finite MTL-chain",
keywords = "Bisimulation, Fuzzy logic, Lindstr{\"o}m Theorem, Many-valued modal logic, MTL-chains, Residuated lattices, ULTRAPRODUCTS, FUZZY, Lindstrom Theorem",
author = "Guillermo Badia and Grigory Olkhovikov",
year = "2020",
month = jun,
day = "1",
doi = "10.1016/j.fss.2019.03.002",
language = "English",
volume = "388",
pages = "26--37",
journal = "Fuzzy Sets and Systems",
issn = "0165-0114",
publisher = "Elsevier",

}

RIS

TY - JOUR

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

AU - Badia, Guillermo

AU - Olkhovikov, Grigory

PY - 2020/6/1

Y1 - 2020/6/1

KW - Bisimulation

KW - Fuzzy logic

KW - Lindström Theorem

KW - Many-valued modal logic

KW - MTL-chains

KW - Residuated lattices

KW - ULTRAPRODUCTS

KW - FUZZY

KW - Lindstrom Theorem

UR - http://www.scopus.com/inward/record.url?scp=85062700102&partnerID=8YFLogxK

UR - https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=tsmetrics&SrcApp=tsm_test&DestApp=WOS_CPL&DestLinkType=FullRecord&KeyUT=000524268800002

U2 - 10.1016/j.fss.2019.03.002

DO - 10.1016/j.fss.2019.03.002

M3 - Article

AN - SCOPUS:85062700102

VL - 388

SP - 26

EP - 37

JO - Fuzzy Sets and Systems

JF - Fuzzy Sets and Systems

SN - 0165-0114

ER -

ID: 12654295