CLASSICAL DETERMINATE TRUTH I
From MaRDI portal
Publication:6203556
DOI10.1017/JSL.2023.49OpenAlexW4383295028MaRDI QIDQ6203556FDOQ6203556
Authors: Kentaro Fujimoto, Volker Halbach 
Publication date: 5 April 2024
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/jsl.2023.49
Cites Work
- Outline of a Theory of Truth
- How truthlike can a predicate be? A negative result
- An axiomatic approach to self-referential truth
- A system of complete and consistent truth
- A theory of formal truth arithmetically equivalent to ID1
- AXIOMS FOR DETERMINATENESS AND TRUTH
- Notes on Formal Theories of Truth
- Full Satisfaction Classes and Recursive Saturation
- Reflecting on incompleteness
- What truth depends on
- Title not available (Why is that?)
- Title not available (Why is that?)
- Relative Truth Definability of Axiomatic Truth Theories
- Title not available (Why is that?)
- How not to state T-sentences
- Maximal consistent sets of instances of Tarski's schema (T)
- AXIOMS FOR GROUNDED TRUTH
- Some remarks on extending and interpreting theories with a partial predicate for truth
- Hilbert's program relativized; Proof-theoretical and foundational reductions
- REFERENCE IN ARITHMETIC
- Reference and truth
- Formal notes on the substitutional analysis of logical consequence
- Supervaluation-style truth without supervaluations
- Deflationism beyond arithmetic
- Disquotational truth and analyticity
- NOTES ONω-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES
- Notes on some second-order systems of iterated inductive definitions and \(\Pi_1^1\)-comprehensions and relevant subsystems of set theory
- Title not available (Why is that?)
- Hypatia's silence
This page was built for publication: CLASSICAL DETERMINATE TRUTH I
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6203556)
