NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE

DOI10.1017/s1755020321000137arXiv2007.07188OpenAlexW3151780069MaRDI QIDQ6041345

Carlo Nicolai, Unnamed Author, Unnamed Author

Publication date: 26 May 2023

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2007.07188

zbMATH Keywords

conditionalsordinal analysisnonclassical logicsformal theories of truth

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Many-valued logic (03B50) Proof theory in general (including proof-theoretic semantics) (03F03) Relative consistency and interpretations (03F25)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Quantification in nonclassical logic. Volume I.
• Paradox, truth and logic. I. Paradox and truth
• Four valued semantics and the Liar
• Proof theory. The first step into impredicativity
• Proof theory. 2nd ed
• The unfolding of non-finitist arithmetic
• Provably true sentences across axiomatizations of Kripke's theory of truth
• Sequent calculi for the propositional logic of HYPE
• HYPE: a system of hyperintensional logic (with an application to semantic paradoxes)
• A second paper “On the interpolation theorem for the logic of constant domains”
• Negation as a modality in a quantified setting
• Toward useful type-free theories. I
• Notes on Formal Theories of Truth
• Reflecting on incompleteness
• Cut‐Elimination Theorem for the Logic of Constant Domains
• A logic stronger than intuitionism
• Outline of a Theory of Truth
• Iterated reflection over full disquotational truth
• Systems of predicative analysis
• Axiomatizing Kripke's theory of truth

This page was built for publication: NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE