Relative Truth Definability of Axiomatic Truth Theories
From MaRDI portal
Recommendations
- Equivalences for truth predicates
- Axioms for grounded truth
- Logic with a relative truth predicate and that-terms
- Minimal truth and interpretability
- scientific article; zbMATH DE number 6307931
- Remarks on compositionality and weak axiomatic theories of truth
- Consistency and the theory of truth
- Axiomatic theories of truth
- A note on typed truth and consistency assertions
- Truth, logical structure, and compositionality
Cites work
- A guide to truth predicates in the modern era
- A system of complete and consistent truth
- A theory of formal truth arithmetically equivalent to ID1
- An axiomatic approach to self-referential truth
- Axiomatic theories of truth
- Axiomatizing Kripke's theory of truth
- Conservative theories of classical truth
- Construction of Satisfaction Classes for Nonstandard Models
- Deflationism, conservativeness and maximality
- Does reductive proof theory have a viable rationale?
- Full Satisfaction Classes and Recursive Saturation
- How truthlike can a predicate be? A negative result
- scientific article; zbMATH DE number 51556 (Why is no real title available?)
- scientific article; zbMATH DE number 1226875 (Why is no real title available?)
- scientific article; zbMATH DE number 2014521 (Why is no real title available?)
- scientific article; zbMATH DE number 227056 (Why is no real title available?)
- Notes on Formal Theories of Truth
- On the logic of reducibility: Axioms and examples
- Outline of a Theory of Truth
- Proof theory. The first step into impredicativity
- Proof-theoretic analysis by iterated reflection
- Reducing compositional to disquotational truth
- Reflecting on incompleteness
- Systems of predicative analysis
- Systems of predicative analysis, II: Representations of ordinals
- The role of parameters in bar rule and bar induction
- Truth and reduction
Cited in
(39)- Supervaluation-style truth without supervaluations
- Axiomatic theories of partial ground. I: The base theory
- On the costs of nonclassical logic
- Truth and reduction
- Exact truthmaking as inexact truthmaking by minimal totality facts
- On cut-elimination arguments for axiomatic theories of truth
- Higher-order logic and disquotational truth
- On generalization of definitional equivalence to non-disjoint languages
- Models of weak theories of truth
- Undefinability vs. definability of satisfaction and truth
- Axioms for grounded truth
- Truth and speed-up
- Autonomous progression and transfinite iteration of self-applicable truth
- More on Systems of Truth and Predicative Comprehension
- About Truth and Types
- AXIOMS FOR DETERMINATENESS AND TRUTH
- scientific article; zbMATH DE number 2001413 (Why is no real title available?)
- Classes and truths in set theory
- On a question of Krajewski's
- Does truth equal provability in the maximal theory?
- Truths, inductive definitions, and Kripke-Platek systems over set theory
- Remarks on compositionality and weak axiomatic theories of truth
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
- scientific article; zbMATH DE number 7307078 (Why is no real title available?)
- Feferman and the Truth
- Axiomatizing semantic theories of truth?
- Equivalences for truth predicates
- Truth definitions in finite models
- Notes on bounded induction for the compositional truth predicate
- Models of positive truth
- Models of \(\mathrm{PT}^-\) with internal induction for total formulae
- Minimal truth and interpretability
- CLASSICAL DETERMINATE TRUTH I
- Theories of Frege structure equivalent to Feferman's system \(\mathsf{T}_0\)
- On the non-substantiality of logic: a case study
- Gaps, gluts, and theoretical equivalence
- Is the HYPE about strength warranted?
- On classical determinate truth
- On the costs of classical logic
This page was built for publication: Relative Truth Definability of Axiomatic Truth Theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3163660)
