Pages that link to "Item:Q1096626"
From MaRDI portal
The following pages link to An axiomatic approach to self-referential truth (Q1096626):
Displaying 50 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)
- Deflationary truth and the ontology of expressions (Q513895) (← links)
- Reference and truth (Q777946) (← 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)
- Supervaluation-style truth without supervaluations (Q1633214) (← links)
- Paradoxes of logical equivalence and identity (Q1708467) (← 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)
- \(\mathrm{IKT}^\omega\) and Łukasiewicz-models (Q1982009) (← links)
- A note on the unprovability of consistency in formal theories of truth (Q2056216) (← links)
- On cut-elimination arguments for axiomatic theories of truth (Q2144190) (← links)
- Higher-order logic and disquotational truth (Q2155943) (← links)
- Herzberger's limit rule with labelled sequent calculus (Q2193976) (← 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)
- Conditionals in theories of truth (Q2410892) (← links)
- Montague's paradox, informal provability, and explicit modal logic (Q2452676) (← links)
- A feasible theory of truth over combinatory algebra (Q2637706) (← links)
- Conceptual engineering for truth: aletheic properties and new aletheic concepts (Q2693135) (← 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)
- About Truth and Types (Q3305551) (← 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)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- THE COPERNICAN MULTIVERSE OF SETS (Q5046607) (← links)
- STRONG HOMOMORPHISMS, CATEGORY THEORY, AND SEMANTIC PARADOX (Q5046609) (← links)
- TRUTH AND FEASIBLE REDUCIBILITY (Q5107235) (← links)
- Feferman and the Truth (Q5214789) (← links)
- EQUIVALENCES FOR TRUTH PREDICATES (Q5274881) (← links)
- Truth without standard models: some conceptual problems reloaded (Q5375877) (← links)
- A UNIFIED THEORY OF TRUTH AND PARADOX (Q5381038) (← 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)
