Kripke semantics for fuzzy logics

DOI10.1007/S00500-016-2387-4MaRDI QIDQ1797765zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Parvin Safari, Saeed Salehi

Publication date 22 October 2018

Published in Soft Computing (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1607.04090

zbMATH Keywords

semanticscompletenesssoundnessKripke framesfuzzy logicsDummett logicthe basic fuzzy logicGödel logic

Mathematics Subject Classification ID

Fuzzy logic; logic of vagueness (03B52)

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"odel 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"odel Logic among (propositional) fuzzy logics.

Recommendations

• On standard models of fuzzy modal logics
• Linear Kripke frames and Gödel logics
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• Simplified Kripke semantics for K45-like Gödel modal logics and its axiomatic extensions
• Kripke semantics for modal substructural logics

Cites work

• A closer look at some subintuitionistic logics
• A propositional calculus with denumerable matrix
• A propositional logic with explicit fixed points
• A short introduction to intuitionistic logic
• Metamathematics of fuzzy logic

Cited in

(9)

• Kripke semantics for intuitionistic Łukasiewicz logic
• Bi-modal Gödel logic over \([0,1]\)-valued Kripke frames
• scientific article; zbMATH DE number 7536428 (Why is no real title available?)
• Generalized Kripke frames
• Linear Kripke frames and Gödel logics
• From intuitionism to many-valued logics through Kripke models
• A Kripke Semantics for Hajek's BL
• Alternative semantics for Visser's propositional logics
• A note on strong axiomatization of Gödel justification logic

This page was built for publication: Kripke semantics for fuzzy logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1797765)