Cyclic proofs for arithmetical inductive definitions

DOI10.4230/LIPICS.FSCD.2023.27MaRDI QIDQ6622070zbMATH OpenFDO

Authors Anupam Das, Lukas Melgaard

Publication date 21 October 2024

Full work available at URL https://doi.org/10.4230/LIPICS.FSCD.2023.27

zbMATH Keywords

arithmeticcyclic proofsfixed pointsinductive definitionsproof theory

Mathematics Subject Classification ID

Structure of proofs (03F07) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Cyclic arithmetic is equivalent to Peano arithmetic
• Automated Reasoning with Analytic Tableaux and Related Methods
• Equivalence of inductive definitions and cyclic proofs under arithmetic
• Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs
• scientific article; zbMATH DE number 7155168

Cited in

(1)

• Herbrand schemes for cyclic proofs

This page was built for publication: Cyclic proofs for arithmetical inductive definitions

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