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

Guillermo Badia, Grigory Olkhovikov

Research output: Contribution to journalArticle

Original languageEnglish
Pages (from-to)26-37
Number of pages12
JournalFuzzy Sets and Systems
Volume388
DOIs
Publication statusPublished - 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

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