Truth Values Algebras and Proof Normalization

DOI10.1007/978-3-540-74464-1_8MaRDI QIDQ3612439zbMATH OpenOpenAlexFDO

Authors Gilles Dowek

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

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Other algebras related to logic (03G25)

Recommendations

• Normalisation by completeness with Heyting algebras
• scientific article; zbMATH DE number 1101617
• Consistency of Heyting arithmetic in natural deduction
• A Simple Proof That Super-Consistency Implies Cut Elimination
• On the convergence of reduction-based and model-based methods in proof theory

Cited in

(6)

• On the convergence of reduction-based and model-based methods in proof theory
• Orthogonality and Boolean Algebras for Deduction Modulo
• Normalisation by completeness with Heyting algebras
• Axiom Directed Focusing
• Linking focusing and resolution with selection
• A simple proof that super-consistency implies cut elimination

This page was built for publication: Truth Values Algebras and Proof Normalization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3612439)