Kripke semantics for intuitionistic Łukasiewicz logic

DOI10.1007/S11225-020-09908-ZzbMath1487.03027OpenAlexW3019035954MaRDI QIDQ2021569

Yanyan Li

Publication date: 27 April 2021

Published in: Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

Kripke semanticsŁukasiewicz logicGBL algebrasintuitionistic Łukasiewicz logic

Mathematics Subject Classification ID

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

Related Items (2)

A Kripke Semantics for Hajek's BL ⋮ Poset products as relational models

Cites Work

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

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