Analytic calculi for circular concepts by finite revision

DOI10.1007/S11225-012-9402-2zbMath1315.03109OpenAlexW1987172669MaRDI QIDQ383558

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)

Related Items (5)

SOLOVAY-TYPE THEOREMS FOR CIRCULAR DEFINITIONS ⋮ Conditionals in theories of truth ⋮ Proof theory for functional modal logic ⋮ Addressing Circular Definitions via Systems of Proofs ⋮ Guest editors' introduction

Cites Work

• The undecidability of Grišin's set theory
• Conditionals in theories of truth
• Unnamed Item
• Unnamed Item

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