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?)
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
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 (13)
- 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
- Can a many-valued language functionally represent its own semantics?
- The liar paradox and ``meaningless revenge
- Rejoinder to Laurence Goldstein on the Liar
- Propositional discourse logic
- A revisit to the liar
- A UNIFIED THEORY OF TRUTH AND PARADOX
- Title not available (Why is that?)
- Expressing Belief Flow in Assertion Networks
- 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)
