A fixed point theorem for the weak Kleene valuation scheme

DOI10.1007/BF00453018zbMATH Open0543.03006OpenAlexW1979831570MaRDI QIDQ795819FDOQ795819

Authors: Robert L. Martin, Anil K. Gupta 

Publication date: 1984

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00453018

Recommendations

• On the weak Kleene scheme in Kripke's theory of truth
• A guide to truth predicates in the modern era
• Super liars
• How truthlike can a predicate be? A negative result
• Abstraction and definability in semantically closed structures

zbMATH Keywords

truth predicateexpressive powerliar-paradoxtruth-value gapsweak Kleene interpretation

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50) Models with special properties (saturated, rigid, etc.) (03C50)

Cites Work

• Outline of a Theory of Truth
• Title not available (Why is that?)
• Truth and paradox
• Title not available (Why is that?)

Cited In (16)

• Kripke and the logic of truth
• THE POWER OF NAIVE TRUTH
• On languages that contain their own ungroundedness predicate
• Super liars
• On meaningfulness and truth
• From closure games to strong Kleene truth
• Title not available (Why is that?)
• Can a many-valued language functionally represent its own semantics?
• Title not available (Why is that?)
• On the construction of fully interpreted formal languages which posses their truth predicates
• Bunder's paradox
• On the weak Kleene scheme in Kripke's theory of truth
• Remarks on the Gupta-Belnap fixed-point property for \(k\)-valued clones
• Monstrous content and the bounds of discourse
• ON PATHOLOGICAL TRUTHS
• Fixed-point posets in theories of truth

This page was built for publication: A fixed point theorem for the weak Kleene valuation scheme

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