Advertisement

Soft Computing

, Volume 22, Issue 3, pp 839–844 | Cite as

Kripke semantics for fuzzy logics

  • Parvin Safari
  • Saeed Salehi
Methodologies and Application

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.

Keywords

Fuzzy logics The basic fuzzy logic Gödel logic Dummett logic Kripke frames Soundness Completeness Semantics 

Notes

Compliance with ethical standards

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.

References

  1. Bendová K (1999) A note on Gödel fuzzy logic. Soft Comput 2:167. doi: 10.1007/s005000050049 CrossRefGoogle Scholar
  2. 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 MathSciNetCrossRefzbMATHGoogle Scholar
  3. Dummett M (1959) A propositional calculus with denumerable matrix. J Symb Logic 24:97–106. doi: 10.2307/2964753 MathSciNetCrossRefzbMATHGoogle Scholar
  4. Hájek P (1998) Metamathematics of fuzzy logic. Kluwer, Dordrecht. ISBN: 9781402003707. doi: 10.1007/978-94-011-5300-3
  5. Mints G (2002) A short introduction to intuitionistic logic. Kluwer, Dordrecht. ISBN: 9780306463945. doi: 10.1007/b115304
  6. Š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 CrossRefGoogle Scholar
  7. Visser A (1981) A propositional logic with explicit fixed points. Stud Log 40:155–175. doi: 10.1007/BF01874706 MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2016

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of TabrizTabrizIran

Personalised recommendations