Notes on the mathematical aspects of Kripke's theory of truth

DOI10.1305/ndjfl/1093636525zbMath0588.03003OpenAlexW2056546032MaRDI QIDQ1073007

Melvin Fitting

Publication date: 1986

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093636525

zbMATH Keywords

fixed pointsSaturationsets of statements

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

Related Items (16)

Construction of Truth Predicates: Approximation Versus Revision ⋮ From closure games to strong Kleene truth ⋮ Truth, dependence and supervaluation: living with the ghost ⋮ On the weak Kleene scheme in Kripke's theory of truth ⋮ A theory of truth that prefers falsehood ⋮ Bilattices and the theory of truth ⋮ ABOUT SOME FIXED POINT AXIOMS AND RELATED PRINCIPLES IN KRIPKE–PLATEK ENVIRONMENTS ⋮ Revision without revision sequences: circular definitions ⋮ On \(\mathcal{F} \)-systems: a graph-theoretic model for paradoxes involving a falsity predicate and its application to argumentation frameworks ⋮ Protected completions of first-order general logic programs ⋮ Alternative ways for truth to behave when there's no vicious reference ⋮ Guest editors' introduction ⋮ A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points ⋮ Revision without revision sequences: self-referential truth ⋮ The anatytic conception of truth and the foundations of arithmetic ⋮ Programming in three-valued logic

This page was built for publication: Notes on the mathematical aspects of Kripke's theory of truth