Analytic calculi for circular concepts by finite revision

DOI10.1007/S11225-012-9402-2zbMATH Open1315.03109OpenAlexW1987172669MaRDI QIDQ383558FDOQ383558

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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• The undecidability of Grišin's set theory
• Conditionals in theories of truth

Cited In (6)

• Proof theory for functional modal logic
• Title not available (Why is that?)
• 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)