On the logic of reducibility: Axioms and examples
From MaRDI portal
Publication:1841000
DOI10.1023/A:1005692729370zbMath0969.03068OpenAlexW94633510MaRDI QIDQ1841000
Publication date: 30 September 2001
Published in: Erkenntnis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1005692729370
Modal logic (including the logic of norms) (03B45) Foundations of classical theories (including reverse mathematics) (03B30) Proof theory in general (including proof-theoretic semantics) (03F03) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Relative consistency and interpretations (03F25)
Related Items (5)
Relative Truth Definability of Axiomatic Truth Theories ⋮ ON MORITA EQUIVALENCE AND INTERPRETABILITY ⋮ Arithmetic, set theory, reduction and explanation ⋮ On Relating Theories: Proof-Theoretical Reduction ⋮ THE EXPRESSIVE POWER OF TRUTH
This page was built for publication: On the logic of reducibility: Axioms and examples