Notes on Formal Theories of Truth
From MaRDI portal
Recommendations
Cited in
(66)- Notes on the mathematical aspects of Kripke's theory of truth
- On the possibility of a substantive theory of truth
- Truth, partial logic and infinitary proof systems
- Provably true sentences across axiomatizations of Kripke's theory of truth
- On the costs of nonclassical logic
- Universes over Frege structures
- A system of complete and consistent truth
- Levels of truth
- Conservativity spectra and Joosten-Fernández model
- Truth and the philosophy of mathematics
- Reflecting and unfolding
- On cut-elimination arguments for axiomatic theories of truth
- Fast-collapsing theories
- Models of weak theories of truth
- Fixed-point posets in theories of truth
- A note on typed truth and consistency assertions
- Interpretation of constructive multi-typed theory in the theory of arithmetical truth
- Notes on models of (partial) Kripke-Feferman truth
- Modality and axiomatic theories of truth. II: Kripke-Feferman
- Truth and speed-up
- scientific article; zbMATH DE number 6699698 (Why is no real title available?)
- Extending the first-order theory of combinators with self-referential truth
- Relative Truth Definability of Axiomatic Truth Theories
- Autonomous progression and transfinite iteration of self-applicable truth
- A theory of formal truth arithmetically equivalent to ID1
- More on Systems of Truth and Predicative Comprehension
- scientific article; zbMATH DE number 4164796 (Why is no real title available?)
- AXIOMS FOR DETERMINATENESS AND TRUTH
- The truth is never simple
- A proof-theoretic account of classical principles of truth
- Disquotational truth and analyticity
- Classes and truths in set theory
- The axiom of choice and combinatory logic
- Truths, inductive definitions, and Kripke-Platek systems over set theory
- A disquotational theory of truth as strong as \(Z_2^-\)
- Weak theories of truth and explicit mathematics
- THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH
- TRUTH AND FEASIBLE REDUCIBILITY
- Deflationary truth and the ontology of expressions
- Feferman and the Truth
- Axiomatizing semantic theories of truth?
- The expressive power of truth
- Equivalences for truth predicates
- Notes on bounded induction for the compositional truth predicate
- Models of positive truth
- Axiomatizing Kripke's theory of truth
- Some theories with positive induction of ordinal strength φω0
- Models of \(\mathrm{PT}^-\) with internal induction for total formulae
- Reducing compositional to disquotational truth
- Minimal truth and interpretability
- scientific article; zbMATH DE number 7594133 (Why is no real title available?)
- , , AND REINHARDT’S PROGRAM
- Guest editors' introduction
- NONCLASSICAL TRUTH WITH CLASSICAL STRENGTH. A PROOF-THEORETIC ANALYSIS OF COMPOSITIONAL TRUTH OVER HYPE
- A fixed point theory over stratified truth
- Internal categoricity, truth and determinacy
- CLASSICAL DETERMINATE TRUTH I
- Varieties of truth definitions
- Gaps, gluts, and theoretical equivalence
- Is the HYPE about strength warranted?
- On classical determinate truth
- The dream of recapture
- Some notes on truths and comprehension
- Cognitive projects and the trustworthiness of positive truth
- On the costs of classical logic
- Modal definability in Kripke's theory of truth
This page was built for publication: Notes on Formal Theories of Truth
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3809794)
