Paracomplete truth theory with KFS-definable determinateness

DOI10.1093/LOGCOM/EXAB034OpenAlexW3162142414MaRDI QIDQ5019293FDOQ5019293

Authors: Marcos Cramer 

Publication date: 3 January 2022

Published in: Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exab034

Recommendations

• Paracomplete truth theory with a definable hierarchy of determinateness operators
• Some observations on truth hierarchies
• Field's \textit{Saving truth from paradox}: some things it doesn't do
• Adding a conditional to Kripke's theory of truth
• Truth, logical validity and determinateness: a commentary on Field's \textit{Saving truth from paradox}

zbMATH Keywords

liar paradoxparacompletenessdeterminatenesstheory of truthKripke's construction

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cited In (1)

• Paracomplete truth theory with a definable hierarchy of determinateness operators

This page was built for publication: Paracomplete truth theory with KFS-definable determinateness

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5019293)