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

Guillermo Badia; Grigory Olkhovikov

doi:10.1016/j.fss.2019.03.002

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

Research output: Contribution to journal › Article

Original language	English
Pages (from-to)	26-37
Number of pages	12
Journal	Fuzzy Sets and Systems
Volume	388
DOIs	https://doi.org/10.1016/j.fss.2019.03.002
Publication status	Published - 1 Jun 2020

Keywords

Bisimulation
Fuzzy logic
Lindström Theorem
Many-valued modal logic
MTL-chains
Residuated lattices
ULTRAPRODUCTS
FUZZY
Lindstrom Theorem

ASJC Scopus subject areas

Artificial Intelligence
Logic

WoS ResearchAreas Categories

Mathematics, Applied
Statistics & Probability
Computer Science, Theory & Methods

Access to Document

10.1016/j.fss.2019.03.002

Fingerprint Dive into the research topics of 'A Lindström theorem in many-valued modal logic over a finite MTL-chain'. Together they form a unique fingerprint.

Cite this

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

@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 = "6",

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",

}

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 -