No CrossRef data available.
Published online by Cambridge University Press: 19 May 2011
A formal language to implement a computational-level theory of memory cannot be based on standard (Zermelo-Fraenkel) set theory. For correct models of a memory database to exist, non-well-founded sets must be permitted. This is illustrated by modifying an example from Barwise & Moss (1991).