Truth Values Algebras and Proof Normalization
From MaRDI portal
Publication:3612439
DOI10.1007/978-3-540-74464-1_8zbMath1178.03074OpenAlexW1493555008MaRDI QIDQ3612439
Publication date: 10 March 2009
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-74464-1_8
Related Items
Unnamed Item ⋮ Orthogonality and Boolean Algebras for Deduction Modulo ⋮ A simple proof that super-consistency implies cut elimination ⋮ Axiom Directed Focusing ⋮ On the Convergence of Reduction-based and Model-based Methods in Proof Theory