Duality via Truth for Some Fuzzy Modal Logic

Anna Radzikowska , Etienne E. Kerre

Abstract

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,,
-
-
Pages129-149
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
DOIDOI:10.1007/978-3-030-38565-1_11
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*
Cite
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.
Back
Confirmation
Are you sure?