
9Kripke Semantics for Intuitionistic Łukasiewicz LogicStudia Logica 127. forthcoming.This paper proposes a generalization of the Kripke semantics of intuitionistic logic IL appropriate for intuitionistic Łukasiewicz logic IŁL — a logic in the intersection between IL and (classical) Łukasiewicz logic. This generalised Kripke semantics is based on the poset sum construction, used in Bova and Montagna (Theoret Comput Sci 410(12):1143–1158, 2009) to show the decidability (and PSPACE completeness) of the quasiequational theory of commutative, integral and bounded GBL algebras. The m…Read more
Murcia, Murcia, Spain
Areas of Specialization
Metaphysics 
Philosophy of Language 
Medieval and Renaissance Philosophy 