Paracomplete truth theory with KFS-definable determinateness

DOI10.1093/LOGCOM/EXAB034MaRDI QIDQ5019293zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

liar paradoxparacompletenessdeterminatenesstheory of truthKripke's construction

Mathematics Subject Classification ID

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

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}

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)