Browse by author
Lookup NU author(s): Dr Christopher Holt
A constructive logic may be viewed as a means for applying the operations of logic to the general domain of values used in functional application, combining data and control structures. It is an algebra over a domain that has been partitioned into ((logical"" subdomains, e.g. T (true), U (undecided), and F (false). Pure logical functions respect this partitioning by mapping subdomains into subdomains; they satisfy truth tables. Quasi-logical functions satisfy truth tables except for specific classes of values; non-standard implication and equality are introduced as examples. Communication in a time-free expression is considered, in which the ((use"" of a name in one position is related by a logical function to its use in another position. Although it is possible to embed this kind of relation in the text of an expression, in many cases it is simpler to use a directed reference graph from uses to referents, in which each arc is associated with a logic a value indicating whether or not that path is used in the determination of the value of the name. Time sequences are introduced using this as a basis, and communication among concurrent processes follows naturally.
Author(s): Holt CM
Publication type: Report
Publication status: Published
Series Title: Computing Laboratory Technical Report Series
Year: 1988
Pages: 36
Print publication date: 01/04/1988
Source Publication Date: April 1988
Report Number: 255
Institution: Computing Laboratory, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/255.pdf
