Duality via Truth for Some Fuzzy Modal Logic
Authors:
- 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.
- Record ID
- WUTfc3a0de3b4934412b19f0e34eb2696a6
- Author
- Pages
- 129-149
- Publication size in sheets
- 1.00
- Book
- Nguyen Hung T., Hung T. Nguyen Kreinovich Vladik Vladik Kreinovich (eds.): Studies in Computational Intelligence, Studies in Computational Intelligence, vol. 878, 2020, Springer, ISBN 978-3-030-38564-4
- Keywords in English
- Fuzzy logic, MTL logic, Modal logic, Algebraic semantics, Relational semantics, Duality theory
- ASJC Classification
- DOI
- DOI:10.1007/978-3-030-38565-1_11 Opening in a new tab
- URL
- https://link.springer.com/chapter/10.1007/978-3-030-38565-1_11 Opening in a new tab
- Language
- (en) English
- Score (nominal)
- 20
- Score source
- publisherList
- Score
- = 20.0, 03-05-2022, MonographChapterAuthor
- Publication indicators
- = 0; : 2018 = 0.447
- Uniform Resource Identifier
- https://repo.pw.edu.pl/info/article/WUTfc3a0de3b4934412b19f0e34eb2696a6/
- URN
urn:pw-repo:WUTfc3a0de3b4934412b19f0e34eb2696a6
* presented citation count is obtained through Internet information analysis and it is close to the number calculated by the Publish or PerishOpening in a new tab system.