On the convergence of reduction-based and model-based methods in proof theory

DOI10.1093/jigpal/jzp022zbMath1183.03061MaRDI QIDQ3644841

Gilles Dowek

Publication date: 12 November 2009

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzp022

zbMATH Keywords

cut elimination; deduction modulo; truth values algebra

Mathematics Subject Classification ID

03B35: Mechanization of proofs and logical operations

03F05: Cut-elimination and normal-form theorems

03F03: Proof theory in general (including proof-theoretic semantics)

03C30: Other model constructions