Pages that link to "Item:Q3197819"
From MaRDI portal
The following pages link to A theory of formal truth arithmetically equivalent to ID<sub>1</sub> (Q3197819):
Displaying 32 items.
- One hundred years of semantic paradox (Q266649) (← 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)
- Some notes on truths and comprehension (Q722023) (← links)
- What truth depends on (Q815014) (← links)
- A logic of abstraction related to finite constructive number classes (Q910401) (← links)
- Supervaluation-style truth without supervaluations (Q1633214) (← links)
- Truth, partial logic and infinitary proof systems (Q1653651) (← links)
- Universes over Frege structures (Q1861539) (← links)
- Notes on Leitgeb's Ruitenburg (Q2027211) (← links)
- A note on Horwich's notion of grounding (Q2055904) (← links)
- Cut elimination for systems of transparent truth with restricted initial sequents (Q2075280) (← links)
- Truth and the philosophy of mathematics (Q2080591) (← links)
- On cut-elimination arguments for axiomatic theories of truth (Q2144190) (← links)
- Higher-order logic and disquotational truth (Q2155943) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- Truth, dependence and supervaluation: living with the ghost (Q2377186) (← links)
- The Friedman-Sheard programme in intuitionistic logic (Q2915893) (← links)
- AXIOMS FOR GROUNDED TRUTH (Q2940867) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Games for Truth (Q3655267) (← links)
- A guide to truth predicates in the modern era (Q4314690) (← links)
- A GRAPH-THEORETIC ANALYSIS OF THE SEMANTIC PARADOXES (Q4640306) (← links)
- TRUTHS, INDUCTIVE DEFINITIONS, AND KRIPKE-PLATEK SYSTEMS OVER SET THEORY (Q4692072) (← links)
- Feferman and the Truth (Q5214789) (← links)
- INFINITARY TABLEAU FOR SEMANTIC TRUTH (Q5259720) (← links)
- AXIOMATIZING SEMANTIC THEORIES OF TRUTH? (Q5259722) (← links)
- MODELS OF POSITIVE TRUTH (Q5381034) (← links)
- Truth meets vagueness. Unifying the semantic and the soritical paradoxes (Q6145031) (← links)
- CLASSICAL DETERMINATE TRUTH I (Q6203556) (← links)
