Abstract

This paper is about the most important technical problem faced by Structured Meanings Semantics: the reiteration of hyperintensional functors (i.e., functors of -categorial languages of the sort defined by Max Cresswell in [6]). A way to solve this problem in a general and natural way by using Scott's Domains is both suggested and shown. The result is a semantics which unrestrictedly allows reiterations of hyperintensional functors. The semantics is also extended to accommodate -categorial languages with variables.