Home  Online Resources  Table of Contents

Journal of Logic and Computation, Volume 9, Issue 5, pp. 683-700: Abstract.

Frege structures for partial applicative theories

R Kahle

WSI, Universität Tübingen, Sand 13, D-72076 Tübingen, Germany, E-mail: kahle@informatik.uni-tuebingen.de

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

  Full-Text PDF  (211 KB)

[ Oxford University Press]   [ Oxford Journals]   [ Comments & Feedback]   Copyright© Oxford University Press, 1999.