![]() |
![]() |
University of Birmingham > Talks@bham > Theoretical computer science seminar > Kripke Semantics for Intuitionistic Łukasiewicz Logic
Kripke Semantics for Intuitionistic Łukasiewicz LogicAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Tom de Jong. Zoom details
Abstract In this talk I’ll present 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 main idea is that w⊩ψ – which for IŁL is a relation between worlds w and formulas ψ, and can be seen as a function taking values in the Booleans, i.e. (w⊩ψ)∈𝔹 – becomes a function taking values in the unit interval, i.e. (w⊩ψ)∈[0,1]. An appropriate monotonicity restriction needs to be put on such functions (which we then call sloping functions) in order to ensure soundness and completeness of the semantics. Based on paper [1], joint work with Andrew Lewis-Smith and Edmund Robinson. References [1] A. Lewis-Smith, P. Oliva, E. Robinson, Kripke Semantics for Intuitionistic Łukasiewicz Logic. Studia Logica, 109:313–339, 2021. This talk will be chaired by Martin Escardo. This talk is part of the Theoretical computer science seminar series. This talk is included in these lists:
Note that ex-directory lists are not shown. |
Other listsMolecular and Medical Physics Seminar Series Seminars on Advanced Materials 'Roles' Postgraduate Gender and Sexuality Network DiscussionOther talksTBC Sensing and metrology activities at NPL, India Quantum simulations using ultra cold ytterbium Modelling uncertainty in image analysis. Geometry of alternating projections in metric spaces with bounded curvature Ultrafast, all-optical, and highly efficient imaging of molecular chirality |