Abstract | ||
---|---|---|
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. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1016/j.fss.2019.03.002 | Fuzzy Sets and Systems |
Keywords | DocType | Volume |
Many-valued modal logic,Fuzzy logic,MTL-chains,Residuated lattices,Bisimulation,Lindström Theorem | Journal | 388 |
ISSN | Citations | PageRank |
0165-0114 | 0 | 0.34 |
References | Authors | |
0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
guillermo badia | 1 | 5 | 5.53 |
Guillermo Badia | 2 | 0 | 0.34 |
Grigory K. Olkhovikov | 3 | 6 | 6.43 |
Grigory K. Olkhovikov | 4 | 6 | 6.43 |