A Local System for Intuitionistic Logic
From MaRDI portal
Publication:5387896
DOI10.1007/11916277_17zbMath1165.03307OpenAlexW1594146612MaRDI QIDQ5387896
Publication date: 27 May 2008
Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11916277_17
Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Subsystems of classical logic (including intuitionistic logic) (03B20) Intermediate logics (03B55)
Related Items (max. 100)
Contextual Natural Deduction ⋮ Implementation and Evaluation of Contextual Natural Deduction for Minimal Logic ⋮ Spinal atomic \(\lambda\)-calculus ⋮ A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains ⋮ A Logical Basis for Quantum Evolution and Entanglement ⋮ System BV is NP-complete ⋮ Maude as a Platform for Designing and Implementing Deep Inference Systems ⋮ Subformula linking for intuitionistic logic with application to type theory ⋮ Deep Inference in Bi-intuitionistic Logic
This page was built for publication: A Local System for Intuitionistic Logic