Now showing items 1-10 of 443441
An intrinsic denotational semantics for a lazy functional language
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 ...
A semantic analysis of some distributive logics with negation
(Jagiellonian University, 2013-10)
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 ...
Cumulative semantic inhibition in Spanish verb production
(Universidade Estadual Paulista Júlio de Mesquita Filho, 2020-06)
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 ...
How does incoherence affect inconsistency-tolerant semantics for Datalog±?
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 ...
Semantic models of phraseological units denoting adverse emotions and feelings
(Universidad del Zulia, 2019)
A semantic approach to crossmodal phenomena
(Georgian Technical University, 2020-12)
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, ...
A bidimensional account of slurs
(Lexington Books, 2020)
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 ...
Non-deterministic Semantics for Quantum States
(Multidisciplinary Digital Publishing Institute, 2020-01-28)
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 ...