Kripke semantics for intuitionistic Łukasiewicz logic (Q2021569)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Kripke semantics for intuitionistic Łukasiewicz logic |
scientific article |
Statements
Kripke semantics for intuitionistic Łukasiewicz logic (English)
0 references
27 April 2021
0 references
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.
0 references
Łukasiewicz logic
0 references
intuitionistic Łukasiewicz logic
0 references
Kripke semantics
0 references
GBL algebras
0 references
0 references