On the weak Kleene scheme in Kripke's theory of truth

DOI10.2307/2275486zbMath0759.03004OpenAlexW2113652139MaRDI QIDQ3984417

No author found.

Publication date: 27 June 1992

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275486

zbMATH Keywords

truth predicateGödel numberingKripke's theory of truthcontext dependencelinguistic complementaritylinguistic introspectabilityweak Kleene valuation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30)

Related Items (6)

Bicontextualism ⋮ Varieties of self-reference in metamathematics ⋮ Notes on the computational aspects of Kripke's theory of truth ⋮ Some notes on truths and comprehension ⋮ THE MODAL LOGICS OF KRIPKE–FEFERMAN TRUTH ⋮ AXIOMATIZING SEMANTIC THEORIES OF TRUTH?

Cites Work

• Notes on the mathematical aspects of Kripke's theory of truth
• Outline of a Theory of Truth
• Unnamed Item

This page was built for publication: On the weak Kleene scheme in Kripke's theory of truth