Proof Theory for Lax Logic
From MaRDI portal
Publication:6411206
arXiv2209.08976MaRDI QIDQ6411206FDOQ6411206
Authors: Rosalie Iemhoff 
Publication date: 19 September 2022
Abstract: In this paper some proof theory for propositional Lax Logic is developed. A cut free terminating sequent calculus is introduced for the logic, and based on that calculus it is shown that the logic has uniform interpolation. Furthermore, a separate, simple proof of interpolation is provided that also uses the sequent calculus. From the literature it is known that Lax Logic has interpolation, but all known proofs use models rather than proof systems.
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55) Logic in computer science (03B70)
This page was built for publication: Proof Theory for Lax Logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6411206)
