Addressing Circular Definitions via Systems of Proofs

DOI10.1007/978-3-030-20447-1_7zbMath1469.03011OpenAlexW2981933655MaRDI QIDQ3305628

Riccardo Bruni

Publication date: 10 August 2020

Published in: Mathesis Universalis, Computability and Proof (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2158/1176012

zbMATH Keywords

proof theorymathesis universaliscircular definitionrevision theory (of circular concepts)

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Cites Work

• Analytic calculi for circular concepts by finite revision
• Conditionals in theories of truth
• Vagueness and revision sequences
• Unnamed Item
• Unnamed Item

This page was built for publication: Addressing Circular Definitions via Systems of Proofs