In this paper we present a denotational semantics for a lazy functional language. The semantics is intrinsic in the sense that it defines meaning for typing derivations instead of language expressions. We contrast our ...

In this paper we shall study some extensions of the semilattice based deductive systems S (N) and S (N, 1), where N is the variety of bounded distributive lattices with a negation operator. We shall prove that S (N) and S ...

This paper reports an experiment designed to assess the occurrence of lexical interference in verb production in Spanish. Using the semantic competitors paradigm (Howard et al., 2006), we show that the higher the number ...

The concept of incoherence naturally arises in ontological settings, specially when integrating knowledge. In the Datalog± literature, however, this is an issue that is yet to be studied more deeply. The main focus of our ...

The aim of this contribution is to introduce a possible foundation for a semantic approach to crossmodal phenomena. Crossmodality refers to cognitive processes that integrate two or more senses, like hearing and tasting, ...