Pages that link to "Item:Q1096626"
From MaRDI portal
The following pages link to An axiomatic approach to self-referential truth (Q1096626):
Displaying 40 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)
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH (Q5000260) (← links)
- TRUTH AND FEASIBLE REDUCIBILITY (Q5107235) (← links)
- Axiomatizing Kripke's theory of truth (Q5480633) (← links)
- The two halves of disjunctive correctness (Q6038484) (← links)
- CLASSICAL DETERMINATE TRUTH I (Q6203556) (← links)
