Cover Image
QR Code

SUPERVALUATION FIXED-POINT LOGICS OF TRUTH.

Michael Kremer defines fixed-point logics of truth based on Saul Kripke’s fixed point semantics for languages expressing their own truth concepts. Kremer axiomatizes the strong Kleene fixed-point logic of truth and the weak Kleene fixed-point logic of truth, but leaves the axiomatizability question...

Full description

Published in:Journal of Philosophical Logic Vol. 37; no. 5; pp. 407 - 441
Main Authors: Kremer, Philip, Urquhart, Alasdair
Format: Article
Published: Springer Nature Oct2008
Subjects:
Kremer, Michael
Kripke, Saul A., 1940-2022
Semantics
Philosophy of language
Truth
Logic
Online Access:View this record in EBSCOhost

Internet

View this record in EBSCOhost