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

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

Research output: Contribution to journal › Article › peer-review

DOI

https://doi.org/10.1016/j.fss.2019.03.002
Final published version

Guillermo Badia
Grigory Olkhovikov

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

Research areas

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

ID: 12654295