The following pages link to Notes on Formal Theories of Truth (Q3809794):
Displayed 41 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- A proof-theoretic account of classical principles of truth (Q385807) (← links)
- Classes and truths in set theory (Q450946) (← links)
- A disquotational theory of truth as strong as \(Z_2^-\) (Q496323) (← links)
- Deflationary truth and the ontology of expressions (Q513895) (← links)
- Some notes on truths and comprehension (Q722023) (← links)
- Truth, partial logic and infinitary proof systems (Q1653651) (← links)
- Provably true sentences across axiomatizations of Kripke's theory of truth (Q1708102) (← links)
- On the costs of nonclassical logic (Q1749804) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Levels of truth (Q1903585) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- Reflecting and unfolding (Q2094161) (← links)
- On cut-elimination arguments for axiomatic theories of truth (Q2144190) (← links)
- Notes on models of (partial) Kripke-Feferman truth (Q2699016) (← links)
- MODALITY AND AXIOMATIC THEORIES OF TRUTH II: KRIPKE-FEFERMAN (Q2940876) (← links)
- TRUTH AND SPEED-UP (Q2940877) (← links)
- Extending the first-order theory of combinators with self-referential truth (Q3138009) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- Autonomous progression and transfinite iteration of self-applicable truth (Q3173533) (← links)
- More on Systems of Truth and Predicative Comprehension (Q3295826) (← links)
- AXIOMS FOR DETERMINATENESS AND TRUTH (Q3580669) (← links)
- Disquotational truth and analyticity (Q4328846) (← links)
- The axiom of choice and combinatory logic (Q4650272) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- TRUTH AND FEASIBLE REDUCIBILITY (Q5107235) (← links)
- Feferman and the Truth (Q5214789) (← links)
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH? (Q5259722) (← links)
- THE EXPRESSIVE POWER OF TRUTH (Q5259727) (← links)
- EQUIVALENCES FOR TRUTH PREDICATES (Q5274881) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- Some theories with positive induction of ordinal strength <i>φω</i>0 (Q5687318) (← links)
- MODELS OF PT<sup>–</sup> WITH INTERNAL INDUCTION FOR TOTAL FORMULAE (Q5737967) (← links)
- REDUCING COMPOSITIONAL TO DISQUOTATIONAL TRUTH (Q5850987) (← links)
- MINIMAL TRUTH AND INTERPRETABILITY (Q5850988) (← links)
- , , AND REINHARDT’S PROGRAM (Q5880422) (← links)
- Guest editors' introduction (Q5920212) (← links)
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE (Q6041345) (← links)
- Internal categoricity, truth and determinacy (Q6054059) (← links)
- CLASSICAL DETERMINATE TRUTH I (Q6203556) (← links)