Linguistic structures, cognitive functions and algebraic semantics
pp. 253-286
in: Arturo Carsetti (ed), Functional models of cognition, Berlin, Springer, 2000Abstract
A model for a first-order language L is, from an extensional point of view, a structure M = < U, I >where U is a non-empty set, called the domain (or universe) of M and I is an interpretation function that assigns appropriate items constructed from U to the nonlogical terminology of the language L.