Reasoning in circles

zbMATH Open1418.03178arXiv2112.15028MaRDI QIDQ5224693FDOQ5224693

Authors: Rosalie Iemhoff 

Publication date: 24 July 2019

Abstract: Circular proofs, introduced by Daniyar Shamkanov, are proofs in which assumptions are allowed that are not axioms but do appear at least twice along a branch. Shamkanov has shown that a formula belongs to the provability logic GL exactly if it has a circular proof in the modal logic K4. Shamkanov uses Tait style proof systems and infinitary proofs. In this paper we prove the same result but then for sequent calculi and without the detour via infinitary systems. We also obtain a mild generalisation of the result, implying that its intuitionistic analogue holds as well.

Full work available at URL: https://arxiv.org/abs/2112.15028

Recommendations

• On the Rationalization of the Circle
• Reasoning about reasoning
• Going around in circles

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cited In (9)

• Circular proofs for the Gödel-Löb provability logic
• NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC
• Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 12--17, 2023
• Solovay-type theorems for circular definitions
• Interpolation properties for Sacchetti's logics
• NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC
• Circular (yet sound) proofs
• Analytic calculi for circular concepts by finite revision
• Title not available (Why is that?)

This page was built for publication: Reasoning in circles

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