A system of complete and consistent truth
From MaRDI portal
Publication:1893134
DOI10.1305/ndjfl/1040511340zbMath0828.03030OpenAlexW2111411333MaRDI QIDQ1893134
Publication date: 18 December 1995
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1040511340
First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30)
Related Items (27)
Relative Truth Definability of Axiomatic Truth Theories ⋮ On cut-elimination arguments for axiomatic theories of truth ⋮ The Friedman-Sheard programme in intuitionistic logic ⋮ MODALITY AND AXIOMATIC THEORIES OF TRUTH I: FRIEDMAN-SHEARD ⋮ A proof-theoretic account of classical principles of truth ⋮ Herzberger's limit rule with labelled sequent calculus ⋮ Disquotational truth and analyticity ⋮ CLASSICAL DETERMINATE TRUTH I ⋮ Paradoxes of logical equivalence and identity ⋮ Truth without standard models: some conceptual problems reloaded ⋮ Classes and truths in set theory ⋮ REVISION REVISITED ⋮ \(\mathrm{IKT}^\omega\) and Łukasiewicz-models ⋮ NOTES ONω-INCONSISTENT THEORIES OF TRUTH IN SECOND-ORDER LANGUAGES ⋮ ON THE PROBABILISTIC CONVENTION T ⋮ SELF-REFERENCE IN ARITHMETIC II ⋮ An ordinal analysis for theories of self-referential truth ⋮ Truth as translation. Part B ⋮ 2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08 ⋮ Possible-worlds semantics for modal notions conceived as predicates ⋮ Axiomatizing Kripke's theory of truth ⋮ Reference and truth ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism ⋮ AXIOMATIZING SEMANTIC THEORIES OF TRUTH? ⋮ FINITIST AXIOMATIC TRUTH ⋮ A note on typed truth and consistency assertions
Cites Work
- Unnamed Item
- Notes on naive semantics
- How truthlike can a predicate be? A negative result
- An axiomatic approach to self-referential truth
- Truth and paradox
- Hilbert's program relativized; Proof-theoretical and foundational reductions
- Construction of Satisfaction Classes for Nonstandard Models
- Reflecting on incompleteness
- Systems of predicative analysis
- Relative Interpretations
This page was built for publication: A system of complete and consistent truth
