Pages that link to "Item:Q1096626"
From MaRDI portal
The following pages link to An axiomatic approach to self-referential truth (Q1096626):
Displayed 30 items.
- One hundred years of semantic paradox (Q266649) (← links)
- A proof-theoretic account of classical principles of truth (Q385807) (← links)
- The paradox of the knower revisited (Q392283) (← links)
- Classes and truths in set theory (Q450946) (← links)
- A logic of abstraction related to finite constructive number classes (Q910401) (← links)
- The disjunction and existence properties for axiomatic systems of truth (Q1118582) (← links)
- A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism (Q1296423) (← links)
- Saving the truth schema from paradox (Q1610606) (← links)
- The knower paradox in the light of provability interpretations of modal logic (Q1778104) (← links)
- Possible-worlds semantics for modal notions conceived as predicates (Q1810820) (← links)
- A system of complete and consistent truth (Q1893134) (← links)
- A note on the theory of positive induction, \({{\text{ID}}^*_1}\) (Q2267752) (← links)
- An ordinal analysis for theories of self-referential truth (Q2267754) (← links)
- Truth, reflection and hierarchies (Q2386109) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- A feasible theory of truth over combinatory algebra (Q2637706) (← links)
- The Friedman-Sheard programme in intuitionistic logic (Q2915893) (← links)
- MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD (Q2940875) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- Autonomous progression and transfinite iteration of self-applicable truth (Q3173533) (← links)
- CONTRACTIONS OF NONCONTRACTIVE CONSEQUENCE RELATIONS (Q3195588) (← links)
- A theory of formal truth arithmetically equivalent to ID<sub>1</sub> (Q3197819) (← links)
- CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION (Q3450806) (← links)
- 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 (Q3616431) (← links)
- Disquotational truth and analyticity (Q4328846) (← links)
- REVISION REVISITED (Q4899963) (← links)
- NOTES ON<i>ω</i>-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES (Q5414139) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- No future (Q5935795) (← links)
- Truth as translation. Part B (Q5947378) (← links)