Cut elimination inside a deep inference system for classical predicate logic
From MaRDI portal
Publication:817702
DOI10.1007/s11225-006-6605-4zbMath1097.03047MaRDI QIDQ817702
Publication date: 17 March 2006
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://boris.unibe.ch/19297/1/11225_2006_Article_6605.pdf
Related Items
A Subatomic Proof System for Decision Trees, Intermutation, On the Power of Substitution in the Calculus of Structures, A Hypersequent System for Gödel-Dummett Logic with Non-constant Domains
Cites Work