Pages that link to "Item:Q5850988"
From MaRDI portal
The following pages link to MINIMAL TRUTH AND INTERPRETABILITY (Q5850988):
Displaying 14 items.
- A note on typed truth and consistency assertions (Q263089) (← links)
- Deflationary truth and the ontology of expressions (Q513895) (← links)
- The disjunction and existence properties for axiomatic systems of truth (Q1118582) (← links)
- The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
- Exact truthmaking as inexact truthmaking by minimal totality facts (Q2086533) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- CONSISTENCY AND THE THEORY OF TRUTH (Q3195585) (← links)
- More on Systems of Truth and Predicative Comprehension (Q3295826) (← links)
- CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION (Q3450806) (← links)
- TRUTH AND FEASIBLE REDUCIBILITY (Q5107235) (← links)
- THE EXPRESSIVE POWER OF TRUTH (Q5259727) (← links)
- EQUIVALENCES FOR TRUTH PREDICATES (Q5274881) (← links)
- MODELS OF POSITIVE TRUTH (Q5381034) (← links)
- MODELS OF PT<sup>–</sup> WITH INTERNAL INDUCTION FOR TOTAL FORMULAE (Q5737967) (← links)