A System of Complete and Consistent Truth
Open Access
- 1 July 1994
- journal article
- Published by Duke University Press in Notre Dame Journal of Formal Logic
- Vol. 35 (3), 311-327
- https://doi.org/10.1305/ndjfl/1040511340
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Reflecting on incompletenessThe Journal of Symbolic Logic, 1991
- Hilbert's program relativized; Proof-theoretical and foundational reductionsThe Journal of Symbolic Logic, 1988
- An axiomatic approach to self-referential truthAnnals of Pure and Applied Logic, 1987
- How truthlike can a predicate be? A negative resultJournal of Philosophical Logic, 1985
- Notes on naive semanticsJournal of Philosophical Logic, 1982
- Truth and paradoxJournal of Philosophical Logic, 1982
- Construction of Satisfaction Classes for Nonstandard ModelsCanadian Mathematical Bulletin, 1981
- Systems of predicative analysisThe Journal of Symbolic Logic, 1964
- Relative InterpretationsMathematical Logic Quarterly, 1961