Speech is multifunctional, both communicating denotational content and establishing interactional positions for interlocu-tors. In some cases, the denotational and interactional func-tions of speech interrelate and even depend on each other. This paper describes a type of speech event in which the interrela-tions between denotation and interaction are particularly sali-ent—autobiographical narr...

We introduce a semantic characterization of narrowing, the computational engine of many functional logic languages. We use a functional domain for giving a denotation to the narrowing space associated to a given initial expression under an arbitrary narrowing strategy. Such a semantic description highlights (and favours) the operational notion of evaluation instead of the more usual model-theor...

This paper describes a new lexical resource: Ancora-Nom, a Spanish lexicon of deverbal nominalizations. At present, it contains 1,655 lexical entries and 3,094 senses. Each sense has a denotation type associated, and the mapping of nominal complements with arguments and the corresponding theta roles is also annotated. A particular interest of this lexicon is that it has been automatically extra...

The focus of the paper will be some aspects of the interaction of meaning and context with different kinds of adjectives. Adjective meanings are shown to be more constrained than was appreciated in earlier work. Facts about “NP-splitting” in Polish cast serious doubt on the standard hierarchy of adjectives, and the data become much more orderly if privative adjectives are reanalyzed as subsecti...

This paper presents the methodology and the linguistic criteria followed to enrich the AnCora-Es corpus with the semantic annotation of deverbal nominalizations. The first step was to run two independent automated processes: one for the annotation of denotation types and another one for the annotation of argument structure. Secondly, we manually checked both types of information and measured in...

We present a game semantics for Linear Logic, in which formulas denote games and proofs denote winning strategies. We show that our semantics yields a categorical model of Linear Logic and prove full completeness for Multiplicative Linear Logic with the MIX rule: every winning strategy is the denotation of a unique cut-free proof net. A key role is played by the notion of history-free strategy;...

Feature structures are partially speciied, record-like structures which are employed in many recent grammar formalisms to represent linguistic objects of various kinds. Building on previous approaches to the logical representation of linguistic knowledge, this paper presents a logical language which is suuciently expressive to allow for the encoding of recursive constraints on feature structure...

The paper introduces a semantics for logic programs based on rst order hereditary Harrop formulas which are expressed in terms of intuitionistic derivations. The derivations are constructed by means of an intuitionistic proof procedure that constitutes the resolution mechanism of the language. The semantics of a program is a goal independent denotation which can be equivalently speciied by a de...

This paper studies a simple calculus for finite-state processes featuring both nondeterministic and probabilistic choice. We present a domain model and an operational semantics for our calculus. The denotational model uses the probabilistic powerdomain of Jones and Plotkin, combined with a geometrically convex variant of the Plotkin powerdomain. The operational model defines transition rules un...

While the present tense is typically taken to index the reference time to the time of utterance, such a restriction cannot capture noncanonical uses of the present in English, such as the historical present or play-by-play present. We adopt a bicontextual semantics for present tense, in which the two time coordinates are mediated by pragmatics, allowing us to bring canonical, narrative, and pla...