Journal of Logic and Computation, Volume 9, Issue 5, pp. 683-700: Abstract.
Frege structures for partial applicative theories
WSI, Universität Tübingen, Sand 13, D-72076 Tübingen, Germany, E-mail: email@example.com
We investigate Frege structures as a truth theory over applicative theories in a partial framework. In a first approach we simply ignore undefinedness in the truth definition yielding a theory with total truth. Then we introduce a certain notion of pointer to avoid strictness problems. This approach is closely related to the concept of promises in SCHEME which is used to introduce streams in strict functional programming languages.
Keywords: Applicative theories, partiality, theories of truth, functional programming, streams