Automated Reasoning with Analytic Tableaux and Related Methods
From MaRDI portal
Publication:5479284
DOI10.1007/11554554zbMath1142.03334OpenAlexW2486590071MaRDI QIDQ5479284
Publication date: 7 July 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11554554
Mechanization of proofs and logical operations (03B35) Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07) Metamathematics of constructive systems (03F50) Gödel numberings and issues of incompleteness (03F40)
Related Items (2)
The Axiom System IΣ0 Manages to Simultaneously Obey and Evade the Herbrandized Version of the Second Incompleteness Theorem ⋮ A generalization of the second incompleteness theorem and some exceptions to it
This page was built for publication: Automated Reasoning with Analytic Tableaux and Related Methods
