Kripke semantics for intuitionistic Łukasiewicz logic

DOI10.1007/S11225-020-09908-ZMaRDI QIDQ2021569zbMATH OpenOpenAlexFDO

Authors Yanyan Li

Publication date 27 April 2021

Published in Studia Logica (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/s11225-020-09908-z

zbMATH Keywords

GBL algebrasintuitionistic Łukasiewicz logicKripke semanticsŁukasiewicz logic

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Many-valued logic (03B50)

Review text

Using the poset sum construction by \textit{S. Bova} and \textit{F. Montagna} [Theor. Comput. Sci. 410, No. 12--13, 1143--1158 (2009; Zbl 1159.03045)], the authors define a Kripke structure for what they call intuitionistic Lukasiewicz logic, corresponding to a common fragment of intuitionistic and Lukasiewicz logic also denoted by GBL\(_{ewf}\). In the proposed Kripke models, the evaluation of a formula in a world is a number in [0,1] and each variable is associated with a function from the set of worlds into [0,1] that is a {\em slopping} function, i.e., as soon as it takes a value greater than 0 on a world, then it takes value 1 on all the consequent worlds. By using the poset contruction, soundness and completeness are proved for such semantics.

Recommendations

• Kripke semantics for fuzzy logics
• From intuitionism to many-valued logics through Kripke models
• A Kripke-style and relational semantics for logics based on Łukasiewicz algebras
• A reinterpretation of the semilattice semantics with applications
• A new semantics for intuitionistic predicate logic

Cites work

• scientific article; zbMATH DE number 3222098 (Why is no real title available?)
• Information processing and management of uncertainty in knowledge-based systems. 15th international conference, IPMU 2014, Montpellier, France, July 15--19, 2014. Proceedings. Part III
• On the structure of generalized BL-algebras
• Proof Analysis
• Proof analysis in modal logic
• Proof search in Hájek's basic logic
• Tableaux for Łukasiewicz infinite-valued logic
• The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete
• Urquhart's \({\mathbf C}\) with intuitionistic negation: Dummett's \({\mathbf {LC}}\) without the contraction axiom

Cited in

(11)

• Poset products as relational models
• From intuitionism to many-valued logics through Kripke models
• A remark on propositional Kripke frames sound for intuitionistic logics
• A Kripke-style and relational semantics for logics based on Łukasiewicz algebras
• scientific article; zbMATH DE number 3933040 (Why is no real title available?)
• Some Operators in Kripke Models with an Involution
• A Kripke Semantics for Hajek's BL
• Intuitionistic validity in \(T\)-normal Kripke structures
• A Kripke semantics for intuitionistic Łukasiewicz logic with weak excluded middle
• Kripke semantics and proof systems for combining intuitionistic logic and classical logic
• Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics

This page was built for publication: Kripke semantics for intuitionistic Łukasiewicz logic

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