PP-2008-52: Pointer Semantics with Forward Propagation

PP-2008-52: Ghosh, Sujata and Löwe, Benedikt and Saraf, Sanchit (2008) Pointer Semantics with Forward Propagation. [Report]

Text (Full Text)

Download (201kB) | Preview
[img] Text (Abstract)

Download (1kB)


Pointer semantics describing a formal language with the possibility of self-reference have been invented by Haim Gaifman; they form a fundamental way of understanding the semantics of logic programming, but have also been used extensively in philosophical logic and other applications of logic. In pointer semantics, truth values flow backwards along from the defining statement to the propositional variable. As a consequence, pointer semantics cannot deal properly with dependence networks that have terminal nodes. Ghosh, Löwe and Scorelle have proposed an abstract system of combining pointer semantics with forward flow of truth values. Their system was difficult to handle, and apart from the fact that the system could handle some enlightening examples, very few theoretical insights were made. In this paper, we now produce a more concrete variant of this system, built on three-valued logic which allows us to gain more theoretical control over its properties.

Item Type: Report
Report Nr: PP-2008-52
Series Name: Prepublication (PP) Series
Year: 2008
Uncontrolled Keywords: Gaifman pointer semantics; belief; belief flow
Depositing User: Benedikt
Date Deposited: 12 Oct 2016 14:37
Last Modified: 12 Oct 2016 14:37
URI: https://eprints.illc.uva.nl/id/eprint/326

Actions (login required)

View Item View Item