Duality via Truth for Some Fuzzy Modal Logic

Anna Radzikowska , Etienne E. Kerre


Duality via truth is a kind of correspondence between a class of algebras and a class of relational systems (frames, following terminology well-known in non-classical logics). The first class is viewed as an algebraic semantics of some logic, whereas the other class constitutes Kripke-style semantics of this logic. The duality principle underlying the duality via truth states that algebras and their corresponding frames provide equivalent semantics for this logic in the sense that a formula is true with respect to one semantics if and only if it is true with respect to the other semantics. Consequently, the algebras and the frames express the equivalent notions of truth and in this sense they are viewed as dual structures. In this paper we develop duality via truth for a fuzzy modal logic. The MTL logic, introduced by Esteva and Godo, is taken as a basis. Several axiomatic extensions, motivated by well-known schemas of modal logic, are also considered.

Author Anna Radzikowska (FMIS / DDG)
Anna Radzikowska,,
- Department of Differential Geometry
, Etienne E. Kerre - [Universiteit Gent]
Etienne E. Kerre,,
Book Nguyen Hung T., Kreinovich Vladik (eds.): Studies in Computational Intelligence, Studies in Computational Intelligence, vol. 878, 2020, Springer, ISBN 978-3-030-38564-4
Keywords in EnglishFuzzy logic, MTL logic, Modal logic, Algebraic semantics, Relational semantics, Duality theory
ASJC Classification1702 Artificial Intelligence
URL https://link.springer.com/chapter/10.1007/978-3-030-38565-1_11
Languageen angielski
Score (nominal)20
Score sourcepublisherList
ScoreMinisterial score = 20.0, 12-08-2020, MonographChapterAuthor
Publication indicators Scopus Citations = 0; Scopus SNIP (Source Normalised Impact per Paper): 2018 = 0.447
Citation count*
Share Share

Get link to the record

* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or Perish system.
Are you sure?