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...

Descripción completa

Detalles Bibliográficos

Publicado en:	Journal of Philosophical Logic Vol. 37; no. 5; pp. 407 - 441
Autores principales:	Kremer, Philip, Urquhart, Alasdair
Formato:	Artículo
Publicado:	Springer Nature Oct2008
Materias:	Kremer, Michael Kripke, Saul A., 1940-2022 Semantics Philosophy of language Truth Logic
Acceso en línea:	Ver este registro en EBSCOhost