Kripke and the logic of truth
From MaRDI portal
Publication:1107507
DOI10.1007/BF00247954zbMath0653.03002MaRDI QIDQ1107507
Publication date: 1988
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
fixed-point; Gentzen system; Kleene strong 3-valued logic; Kripke interpretations; Kripke's semantics for truth
03B60: Other nonclassical logic
03A05: Philosophical and critical aspects of logic and foundations
03B50: Many-valued logic
Related Items
A FULLY CLASSICAL TRUTH THEORY CHARACTERIZED BY SUBSTRUCTURAL MEANS, Supervenience, Dependence, Disjunction, Non-classical elegance for sequent calculus enthusiasts, Comparing fixed-point and revision theories of truth, Two types of deflationism, Supervaluation fixed-point logics of truth, Some supervaluation-based consequence relations, Provably true sentences across axiomatizations of Kripke's theory of truth, On the costs of nonclassical logic, How truth behaves when there's no vicious reference, Herzberger's limit rule with labelled sequent calculus, Adding a conditional to Kripke's theory of truth, CONSERVATIVELY EXTENDING CLASSICAL LOGIC WITH TRANSPARENT TRUTH