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, ...

Working within a bidimensional semantic framework derivative of Gutzmann (Use-Conditional Meaning, OUP, 2015), I focus on the systematic ambiguity of some slurs ascriptions. I argue that the semantic type of a slur's ...

In this work, we discuss the failure of the principle of truth functionality in the quantum formalism. By exploiting this failure, we import the formalism of N-matrix theory and non-deterministic semantics to the foundations ...