Overtly Anaphoric Control in Type Logical Grammar [PDF]
In this paper we analyse anaphoric pronouns in control sentences and we investigate the implications of these kinds of sentences in relation to the Propositional Theory versus Property Theory question. For these purposes, we invoke the categorial calculus with limited contraction, a conservative extension of Lambek calculus that builds contraction into
M. I. Corbalán, G. Morrill
semanticscholar +5 more sources
Serial verb constructions and covert coordinations in Edo – an analysis in Type Logical Grammar
Based on both syntactic and semantic criteria, Stewart (2001) and, following him, Baker and Stewart (1999), distinguish two types of serial verb constructions (SVC) and one type of covert coordination (CC) in Edo.
Ralf Naumann, Thomas Gamerschlag
doaj +4 more sources
Calculating Zero Pronominals in Situ: A Type Logical Approach
Zero pronominals challenge Type Logical Grammar in two ways. One, TLG displays a linear resource management regime for semantic composition, meaning that pronominals call for special treatment if they want to do resource multiplication. Two, as a grammar
Haixia Man, Chongli Zou, Kesheng Li
doaj +2 more sources
Polarity Sensitivity and Evaluation Order in Type-Logical Grammar [PDF]
We present a novel, type-logical analysis of polarity sensitivity: how negative polarity items (like any and ever) or positive ones (like some) are licensed or prohibited.
Chung-chieh Shan
semanticscholar +5 more sources
Combining logical and distributional methods in type-logical grammars
We propose a low-level way of combining distributional and logical ideas into a single formal system. This will be an instantiation of a more general system, adding weights to proof rules. These weights will not measure some sort of "confidence the proof
Richard Moot
doaj +3 more sources
Erratum to: Grammar Induction by Unification of Type-logical Lexicons [PDF]
This proposition is not true, because the above definition of structurally deterministic is too broad. The correction is to restrict the form of the “provable sequent” ⇒ C in the definition using the following conditions: (i) formula C contains no slash operators; (ii) G-term has no types repeated, and has no subtypes repeated within any one type. With
S. Fulop
semanticscholar +2 more sources
The syntax-semantics interface of ‘respective’ predication: a unified analysis in Hybrid Type-Logical Categorial Grammar [PDF]
This paper proposes a unified analysis of the ‘respective’ readings of plural and conjoined expressions, the internal readings of symmetrical predicates such as same and different, and the summative readings of expressions such as a total of $10000.
Yusuke Kubota, R. Levine
semanticscholar +4 more sources
gdbank: The beginnings of a corpus of dependency structures and type-logical grammar in Scottish Gaelic [PDF]
We present gdbank, a small handbuilt corpus of 32 sentences with dependency structures and categorial grammar type assignments. The sentences have been chosen to illustrate as broad a range of the unusual features of Scottish Gaelic as possible ...
Colin R. Batchelor
semanticscholar +2 more sources
Hybrid Type-Logical Categorial Grammar [PDF]
semanticscholar +2 more sources
A study of the experimental meaning of Malaysian lecture discourse
This paper is based on a research that aims at investigating one major area of inquiry, namely the experiential meaning of Malaysian lecture discourse (MLD).
Tengku Silvana Sinar
doaj +14 more sources

