scientific article; zbMATH DE number 4156407
From MaRDI portal
Publication:3484809
zbMATH Open0705.03005MaRDI QIDQ3484809FDOQ3484809
Publication date: 1988
Title of this publication is not available (Why is that?)
liar paradoxsemantic paradoxesassigning truth-values to sentences of a language containing its own truth predicatesentence tokenstruth value gap
Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)
Cited In (10)
- Reference, paradoxes and truth
- A theory of truth based on a medieval solution to the liar paradox
- Paul of Venice and Realist Developments of Roger Swyneshed's Treatment of Semantic Paradoxes
- A contextual-hierarchical approach to truth and the liar paradox
- The liar paradox and ``meaningless revenge
- Propositional discourse logic
- A revisit to the liar
- A UNIFIED THEORY OF TRUTH AND PARADOX
- Expressing Belief Flow in Assertion Networks
- Comparing inductive and circular definitions: Parameters, complexity and games
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) 👍 👎
- Title not available (Why is that?) 👍 👎
- Pure Pointer Programs and Tree Isomorphism 👍 👎
- Operational and semantic equivalence between recursive programs. 👍 👎
- Automated Deduction – CADE-19 👍 👎
- Pointers and Records in the Unifying Theories of Programming 👍 👎
- Title not available (Why is that?) 👍 👎
- A structural approach to operational semantics 👍 👎
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)
