scientific article
From MaRDI portal
Publication:3086939
zbMath1244.03157MaRDI QIDQ3086939
Linda Postniece, Rajeev Goré, Alwen Tiu
Publication date: 30 March 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20)
Related Items (11)
Nested sequents for intuitionistic modal logics via structural refinement ⋮ Kripke completeness of bi-intuitionistic multilattice logic and its connexive variant ⋮ Natural deduction for bi-intuitionistic logic ⋮ Nested sequents for intermediate logics: the case of Gödel-Dummett logics ⋮ Dualized Simple Type Theory ⋮ Nested sequents for intuitionistic logics ⋮ The semi Heyting-Brouwer logic ⋮ A Connection-Based Characterization of Bi-intuitionistic Validity ⋮ Deep Inference in Bi-intuitionistic Logic ⋮ Proof theory of Nelson's paraconsistent logic: a uniform perspective ⋮ A connection-based characterization of bi-intuitionistic validity
This page was built for publication:
