Kripke and the logic of truth

DOI10.1007/BF00247954zbMath0653.03002OpenAlexW2089266758MaRDI QIDQ1107507

Michael Kremer

Publication date: 1988

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

Full work available at URL: https://doi.org/10.1007/bf00247954

zbMATH Keywords

fixed-pointGentzen systemKleene strong 3-valued logicKripke interpretationsKripke's semantics for truth

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50)

Related Items

CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH ⋮ Comparing fixed-point and revision theories of truth ⋮ Adding a conditional to Kripke's theory of truth ⋮ Systems for non-reflexive consequence ⋮ One step is enough ⋮ A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS ⋮ Herzberger's limit rule with labelled sequent calculus ⋮ Monstrous content and the bounds of discourse ⋮ Some supervaluation-based consequence relations ⋮ The liar paradox and ``meaningless revenge ⋮ Notes on models of (partial) Kripke-Feferman truth ⋮ Provably true sentences across axiomatizations of Kripke's theory of truth ⋮ How truth behaves when there's no vicious reference ⋮ On the costs of nonclassical logic ⋮ Non-classical elegance for sequent calculus enthusiasts ⋮ Supervenience, Dependence, Disjunction ⋮ Paradoxical hypodoxes ⋮ Two types of deflationism ⋮ Supervaluation fixed-point logics of truth ⋮ Cut elimination for systems of transparent truth with restricted initial sequents

This page was built for publication: Kripke and the logic of truth