Abstract
Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns out that the only fuzzy logics (logics containing the basic fuzzy logic) which are sound and complete with respect to a class of Kripke frames/models are the extensions of the Gödel logic (or the super-intuitionistic logic of Dummett); indeed this logic is sound and strongly complete with respect to reflexive, transitive and connected (linear) Kripke frames (with persistent satisfaction relations). This provides a semantic characterization for the Gödel logic among (propositional) fuzzy logics.
Similar content being viewed by others
References
Bendová K (1999) A note on Gödel fuzzy logic. Soft Comput 2:167. doi:10.1007/s005000050049
Celani S, Jansana R (2001) A closer look at some subintuitionistic logics. Notre Dame J Form Logic 42:225–255. doi:10.1305/ndjfl/1063372244
Dummett M (1959) A propositional calculus with denumerable matrix. J Symb Logic 24:97–106. doi:10.2307/2964753
Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht. ISBN: 9781402003707. doi:10.1007/978-94-011-5300-3
Mints G (2002) A short introduction to intuitionistic logic. Kluwer, Dordrecht. ISBN: 9780306463945. doi:10.1007/b115304
Švejdar V, Bendová K (2000) On inter-expressibility of logical connectives in Gödel fuzzy logic. Soft Comput 4:103–105. doi:10.1007/s005000000036
Visser A (1981) A propositional logic with explicit fixed points. Stud Log 40:155–175. doi:10.1007/BF01874706
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Human and animal rights statement
This article does not contains any studies with human participants or animals performed by any of the authors.
Additional information
Communicated by V. Loia.
This a part of the Ph.D. thesis of the first author written under the supervision of the second author at the University of Tabriz.
Rights and permissions
About this article
Cite this article
Safari, P., Salehi, S. Kripke semantics for fuzzy logics. Soft Comput 22, 839–844 (2018). https://doi.org/10.1007/s00500-016-2387-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-016-2387-4