Following Merin’s (1999) approach to relevance, van Rooy (1999) uses Decision Theory (DT) to give a formal definition of relevance in its application to questions. In his analysis, questions are inherently underspecified or vague (1): their denotation contains a variable Op (1b) that depends on a decision problem facing the speaker (i.e., the questioner). In the context of the decision problem,...

In this paper, we present a clustering experiment directed at the acquisition of semantic classes for adjectives in Catalan, using only shallow distributional features. We define a broad-coverage classification for adjectives based on Ontological Semantics. We classify along two parameters (number of arguments and ontological kind of denotation), achieving reliable agreement results among human...

This paper elaborates a model for representing semantic calendar expressions (SCEs), which correspond to the intensional meanings of natural-language calendar phrases. The model uses finite-state transducers (FSTs) to mark denoted periods of time on a set of timelines represented as a finite-state automaton (FSA). We present a treatment of SCEs corresponding to quantified phrases (any Monday; e...

Most aspect-oriented languages provide only a fixed, built-in set of pointcut designators whose denotation is only described informally. As a consequence, these languages do not provide operations to manipulate or reason about pointcuts beyond weaving. In this paper, we investigate the usage of the functional query language XQuery for the specification of pointcuts. Due to its abstraction and m...

In the present paper, a formalization of the technique used by Pān. ini in his Śivasūtras for the denotation of sound classes is given. Furthermore, a general notion of Śivasūtra-alphabets and of Śivasūtrasortability is developed. The presented main theorem poses three sufficient conditions for the Śivasūtra-sortability of sets of classes. Finally, the problem of ordering sets of classes which ...

In this paper we provide an alternative semantics for Equilibrium Logic and its monotonic basis, the logic of Here-and-There (also known as Gödel’s G3 logic) that relies on the idea of denotation of a formula, that is, a function that collects the set of models of that formula. Using the threevalued logic G3 as a starting point and an ordering relation (for which equilibrium/stable models are m...

We prove that observational equivalence of 3rd-order finitary Idealized Algol (IA) is decidable using Game Semantics. By modelling state explicitly in our games, we show that the denotation of a term M of this fragment of IA (built up from finite base types) is a compactly innocent strategy-with-state i.e. the strategy is generated by a finite view function fM . Given any such fM , we construct...

Permissive-Nominal Logic (PNL) extends first-order predicate logicwith term-formers that can bind names in their arguments. It takes a semantics in (permissive-)nominal sets. In PNL, the ∀-quantifier or λ-binder are just term-formers satisfying axioms, and their denotation is functions on nominal atoms-abstraction. Then we have higher-order logic (HOL) and its models in ordinary (i.e. Zermelo–F...

Permissive-Nominal Logic (PNL) extends first-order predicate logic with term-formers that can bind names in their arguments. It takes a semantics in (permissive-)nominal sets. In PNL, the ∀-quantifier or λ-binder are just term-formers satisfying axioms, and their denotation is functions on nominal atoms-abstraction. Then we have higher-order logic (HOL) and its models in ordinary (i.e. ZermeloF...

denotation is defined as being a sign of something, as smoke denotes fire. however, literal denotation is used where meaning of a word takes shape in the mind because of conception of the word. taking shape of meanings of words in man’s mind may be caused by such variety of causes as structure of the word, role of the word in a phrase, using a dictionary, circumstances of utterance of the word,...