Pages that link to "Item:Q263089"
From MaRDI portal
The following pages link to A note on typed truth and consistency assertions (Q263089):
Displaying 13 items.
- Remarks on compositionality and weak axiomatic theories of truth (Q484120) (← links)
- Deflationary truth and the ontology of expressions (Q513895) (← links)
- Axiomatic theories of partial ground. II: Partial ground and hierarchies of typed truth (Q1749803) (← links)
- The implicit commitment of arithmetical theories and its semantic core (Q2051133) (← links)
- Relative Truth Definability of Axiomatic Truth Theories (Q3163660) (← links)
- More on Systems of Truth and Predicative Comprehension (Q3295826) (← links)
- CONSERVATIVITY FOR THEORIES OF COMPOSITIONAL TRUTH VIA CUT ELIMINATION (Q3450806) (← links)
- (Q4312475) (← links)
- Une réponse négative à la conjecture de E. Tronci pour les systèmes numériques typés (Q4389763) (← links)
- (Q4542719) (← links)
- (Q5149138) (← links)
- EQUIVALENCES FOR TRUTH PREDICATES (Q5274881) (← links)
- Truth in applicative theories (Q5951914) (← links)