>> [Papers & Essays]
Disclaimer. CSUSB and the CS Dept have no responsibility for it.
This is a Beta Version, read at your own risk.
Copyright. Richard J. Botting(Sun Jul 6 10:03:48 PDT 2003). This paper is being developed for
publication. Permission is granted to quote parts of it as
long as the source is acknowledged and the author informed.
A previous paper
[ rjb95a.Relations.vs.Programs.html ]
showed that the calculus of relations forms an adequate semantic
basis for a programming languages - as long as a non-terminating program
can be treated as if it was a program that failed. In other words
relations form a semantic model but not a pragmatic one.
I also discussed Hehner's and Parnas's suggestion for introducing
pragmatic considerations in logical semantics. This paper develops an
Formulae and Definitions in Alphabetical Order