Hyperincursive proof theory

MaRDI QIDQ2884994zbMATH OpenFDO

Authors Arturo Graziano Grappone

Publication date 21 May 2012

Published in Metalogicon (Search for Journal in Brave)

Full work available at URL http://www.metalogicon.org/rivista/2007ld/Grappone07ld.pdf

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 4043814
• Publication:3469081
• An automatic proof of Gödel's incompleteness theorem
• Automatic theorem proving and OTTER
• scientific article; zbMATH DE number 4072438

Cited in

(2)

• Proof spaces for unbounded parallelism
• scientific article; zbMATH DE number 7109521 (Why is no real title available?)

This page was built for publication: Hyperincursive proof theory

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