Results 1  10
of
48
What’s new? a semantic perspective on sentence accent
 Journal of Semantics
, 1994
"... This paper proposes semantic definitions of the twin concepts of'given ' and 'new ' information, and shows how these definitions can be used to fill a gap in current theories of sentence accent. The semantic definitions proposed are based on a variant of Discourse Representation ..."
Abstract

Cited by 32 (5 self)
 Add to MetaCart
(Show Context)
This paper proposes semantic definitions of the twin concepts of'given ' and 'new ' information, and shows how these definitions can be used to fill a gap in current theories of sentence accent. The semantic definitions proposed are based on a variant of Discourse Representation Theory in which the notion of an anaphoric relation is generalized beyond the case in which the denotation of the anaphor equals that of its antecedent. The resulting theory of sentence accent explains aspects of human speech production as well as understanding, and could be applied in automatic speech synthesis as well as, in principle, in automatic speech understanding. 1
Towards a Logic of Ambiguous Expressions
, 1996
"... this paper is as follows: in section 2 the possibility of a disjunctive approach to the meaning of ambiguous expressions will be discussed. Section 3 will sketch how the approach of this paper compares with other recent work on ambiguity. Sections 4 and 5 will present the semantics of a logical lang ..."
Abstract

Cited by 31 (3 self)
 Add to MetaCart
this paper is as follows: in section 2 the possibility of a disjunctive approach to the meaning of ambiguous expressions will be discussed. Section 3 will sketch how the approach of this paper compares with other recent work on ambiguity. Sections 4 and 5 will present the semantics of a logical language containing ambiguous constants. Section 6 evaluates the resulting logics, and section 7 takes up some loose ends.
Specifying Who: On The Structure, Meaning, And Use Of Specificational Copular Clauses
, 2004
"... ..."
On the semantic readings of proofnets
 Proceedings of formal Grammar
, 1996
"... A la mémoire de ..."
(Show Context)
CLASSICAL NONASSOCIATIVE LAMBEK CALCULUS
"... We introduce nonassociative linear logic, which may be seen as the classical version of the nonassociative Lambek calculus. We define its sequent calculus, its theory of proof nets, for which we give a correctness criterion and a sequentialization theorem, and we show proof search in it is polyno ..."
Abstract

Cited by 13 (1 self)
 Add to MetaCart
We introduce nonassociative linear logic, which may be seen as the classical version of the nonassociative Lambek calculus. We define its sequent calculus, its theory of proof nets, for which we give a correctness criterion and a sequentialization theorem, and we show proof search in it is polynomial.
The Sasaki hook is not a [static] implicative connective but induces a backward [in time] dynamic one that assigns causes
 Int. Journ. of Theor. Physics
"... In this paper we argue that the Sasaki adjunction, which formally encodes the logicality that different authors tried to attach to the Sasaki hook as a ‘quantum implicative connective’, has a fundamental dynamic nature and encodes the socalled ‘causal duality ’ (Coecke, Moore and Stubbe 2001) for t ..."
Abstract

Cited by 13 (8 self)
 Add to MetaCart
In this paper we argue that the Sasaki adjunction, which formally encodes the logicality that different authors tried to attach to the Sasaki hook as a ‘quantum implicative connective’, has a fundamental dynamic nature and encodes the socalled ‘causal duality ’ (Coecke, Moore and Stubbe 2001) for the particular case of a quantum measurement with a projector as corresponding selfadjoint operator. In particular: The action of the Sasaki hook (a S → −) for fixed antecedent a assigns to some property “the weakest cause before the measurement of actuality of that property after the measurement”, i.e. (a S → b) is the weakest property that guarantees actuality of b after performing the measurement represented by the projector that has the ‘subspace a ’ as eigenstates for eigenvalue 1, say, the measurement that ‘tests ’ a. From this we conclude that the logicality attributable to quantum systems contains a fundamentally dynamic ingredient: Causal duality actually provides a new dynamic interpretation of orthomodularity. We also reconsider the status of the Sasaki hook within ‘dynamic (operational) quantum logic ’ (DOQL), what leads us to the claim made in the title of this paper. More explicitly, although (as many argued in the past) the Sasaki hook should not be seen as an implicative hook, the formal motivation that persuaded others to do so, i.e. the Sasaki adjunction, does have a physical
Dynamic Modal Predicate Logic
, 1994
"... this paper is to combine within the same logic the dynamic account of variable binding from Groenendijk and Stokhof (1991a) with the dynamic account of epistemic updating from Veltman (1991), thus combining the useful features of Dynamic Predicate Logic (DPL) with those of Update Logic (UL). At the ..."
Abstract

Cited by 9 (6 self)
 Add to MetaCart
this paper is to combine within the same logic the dynamic account of variable binding from Groenendijk and Stokhof (1991a) with the dynamic account of epistemic updating from Veltman (1991), thus combining the useful features of Dynamic Predicate Logic (DPL) with those of Update Logic (UL). At the end of the paper we will briefly look at further extensions along other scorekeeping dimensions. The DPL features provide a compositional treatment of anaphoric binding, while UL provides us with a treatment of epistemic modalities. By combining the two, our logic provides a suitable framework for the representation of natural language texts involving unbound anaphora and epistemic operators, and the interplay between those. Consider the following example texts. A man walked out. Maybe he was angry. (1) If a man walks out, then maybe he is angry. (2) The semantic analysis of these example texts poses a combination of two problems. The pronoun `he' must be linked to its antecedent; in the first example this is difficult because the antecedent is in a different sentence, while the second example poses the problem of getting the universal reading for the antecedent together with the intended anaphoric link. The adverb `maybe' intuitively acts as a consistency check on the piece of discourse that it has scope over. Its use in the two example texts above makes intuitive sense, but the next example illustrates that it can also serve to rule out anaphoric links. Maybe a man walked out.
Models for the Lambek calculus
 Annals of Pure and Applied Logic
, 1995
"... We prove that the Lambek calculus is complete w.r.t. Lmodels, i.e., free semigroup models. We also prove the completeness w.r.t. relativized relational models over the natural linear order of integers. ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
(Show Context)
We prove that the Lambek calculus is complete w.r.t. Lmodels, i.e., free semigroup models. We also prove the completeness w.r.t. relativized relational models over the natural linear order of integers.