scientific article; zbMATH DE number 4156407

MaRDI QIDQ3484809zbMATH OpenFDO

Authors Haim Gaifman

Publication date 1988

zbMATH Keywords

assigning truth-values to sentences of a language containing its own truth predicateliar paradoxsemantic paradoxessentence tokenstruth value gap

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Other nonclassical logic (03B60)

Recommendations

• A Semantical and Operational Account of Call-by-Value Solvability
• Compositional Reasoning for Pointer Structures
• Deductive synthesis of programs with pointers: techniques, challenges, opportunities (invited paper)
• scientific article; zbMATH DE number 823604
• Pure Pointer Programs and Tree Isomorphism
• Operational and semantic equivalence between recursive programs.
• Proving pointer programs in higher-order logic.
• Pointers and Records in the Unifying Theories of Programming
• scientific article; zbMATH DE number 7589535
• A structural approach to operational semantics

Cited in

(17)

• Dynamic semantics and circular propositions
• A contextual-hierarchical approach to truth and the liar paradox
• Reference, paradoxes and truth
• My own truth. Pathologies of self-reference and relative truth
• scientific article; zbMATH DE number 4019018 (Why is no real title available?)
• Expressing Belief Flow in Assertion Networks
• scientific article; zbMATH DE number 28355 (Why is no real title available?)
• A theory of truth based on a medieval solution to the liar paradox
• Assertoric semantics and the computational power of self-referential truth
• Can a many-valued language functionally represent its own semantics?
• Rejoinder to Laurence Goldstein on the Liar
• Paul of Venice and Realist Developments of Roger Swyneshed's Treatment of Semantic Paradoxes
• Propositional discourse logic
• A UNIFIED THEORY OF TRUTH AND PARADOX
• A revisit to the liar
• The liar paradox and ``meaningless revenge
• Comparing inductive and circular definitions: Parameters, complexity and games

This page was built for publication:

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