Analytic calculi for circular concepts by finite revision

DOI10.1007/S11225-012-9402-2MaRDI QIDQ383558zbMATH OpenOpenAlexFDO

Authors Riccardo Bruni

Publication date 5 December 2013

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-012-9402-2

zbMATH Keywords

analytic calculicircular conceptsthe revision theory of truth

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Cut-elimination and normal-form theorems (03F05)

Recommendations

• scientific article; zbMATH DE number 6680140
• scientific article; zbMATH DE number 2087442
• Gentzen-like systems for partial propositional calculi. I. II
• Reasoning in circles
• Circular proofs for the Gödel-Löb provability logic

Cites work

• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 795569 (Why is no real title available?)
• Conditionals in theories of truth
• The undecidability of Grišin's set theory

Cited in

(6)

• Proof theory for functional modal logic
• scientific article; zbMATH DE number 5510997 (Why is no real title available?)
• Guest editors' introduction
• Conditionals in theories of truth
• Solovay-type theorems for circular definitions
• Addressing Circular Definitions via Systems of Proofs

This page was built for publication: Analytic calculi for circular concepts by finite revision

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