Michael Moortgat  Home/Search
Context Related
| let.uu.nl/~Michael.Moortg...hlola98.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: let.uu.nl/~Michael.Moort...cgld00 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Contents 1 Introduction: grammatical reasoning 1 2 Linguistic inference: the Lambek systems 5 2.1 Modelinggrammaticalcomposition ............................ 5 2.2 Gentzen calculus, cut elimination and decidability . . . . . . . . . . . . . . . . . . . . 9 2.3 Discussion: options for resource management . . . . . . . . . . . . . . . . . . . . . . 13 3 The syntax-semantics interface: proofs and readings 16 3.1 Term assignment for categorial deductions . . . . . . . . . . . . . . . . . . . . .... (Update)
Cited by: More
Learnability of Type-Logical Grammars - Fulop (2001) (Correct)
Natural Language Reasoning: A Proof-Theoretic Perspective - Bernardi (Correct)
Quantifiers and Scope in Pregroup Grammar - Casadio (Correct)
Similar documents (at the sentence level):
73.2%: Categorial Type Logics - Moortgat (Correct)
5.3%: Multimodal Linguistic Inference - Moortgat (1995) (Correct)
Active bibliography (related documents): More All
1.8: Specifying Syntactic Structures - Blackburn, (Eds.) (Correct)
1.7: Labeled Deduction in the Composition of Form and Meaning - Moortgat (Correct)
1.4: A General Framework for Hybrid Substructural Categorial Logics - Hepple (1994) (Correct)
Similar documents based on text: More All
0.4: Structural Equations in Language Learning - Moortgat (Correct)
0.4: Galois Connections in Categorial Type Logic - Areces, Bernardi, Moortgat (2001) (Correct)
0.3: Proof Nets for Structured Resources - Moortgat, Oehrle (1998) (Correct)
Related documents from co-citation: More All
40: The mathematics of sentence structure (context) - Lambek - 1958
20: Type-logical Grammar: Categorial Logic of Signs - Glyn - 1994
17: Type-Logical Semantics (context) - Carpenter - 1998
BibTeX entry: (Update)
M Moortgat. Categorial type logics. In van Benthem and A ter Meulen, editors, Handbook of Logic and Language, chapter 2. Elsevier, To Appear. http://citeseer.ist.psu.edu/moortgat97categorial.html More
@incollection{ moortgat96categorial,
author = "Michael Moortgat",
title = "Categorial Type Logics",
booktitle = "Handbook of Logic and Language",
publisher = "Elsevier",
address = "Amsterdam",
editor = "Johan {van Benthem} and Alice {ter Meulen}",
pages = "93--177",
year = "1996",
url = "citeseer.ist.psu.edu/moortgat97categorial.html" }
Citations (may not include all citations):620 Head-Driven Phrase Structure Grammar - Pollard, Sag - 1994
268 Proofs and Types (context) - Girard, Taylor - 1989
259 Combinatory Logic (context) - Curry, Feys - 1958
257 Logic programming in a fragment of Intuitionistic Linear Log.. - Hodas, Miller - 1994
248 The Mathematics of Sentence Structure (context) - Lambek - 1958
243 An Introduction to Unification-Based Approaches to Grammar (context) - Shieber - 1986
242 Linear logic (context) - Girard - 1987
97 Automated Deduction in Nonclassical Logics (context) - Wallen - 1990
74 Correspondence theory (context) - Benthem - 1984
73 Lectures on Linear Logic (context) - Troelstra - 1992
68 Structure and Intonation (context) - Steedman - 1991
63 Dependency and coordination in the grammar of Dutch and Engl.. (context) - Steedman - 1985
57 the calculus of syntactic types (context) - Lambek - 1961
47 Untersuchungen uber das logische Schliessen (context) - Gentzen - 1934
42 Type Logical Grammar (context) - Morrill - 1994
41 the order of words (context) - Ades, Steedman - 1982
40 Constraint-Based Grammar Formalisms (context) - Shieber - 1992
40 Boolean Semantics for Natural Language (context) - Keenan, Faltz - 1985
39 Categorial Investigations (context) - Moortgat - 1988
39 Categorial Unification Grammar - Uszkoreit - 1986
35 Clitics and Constituents in Phrase Structure Grammar (context) - Ph - 1992
35 Generalized conjunction and type ambiguity (context) - Partee, Rooth - 1983
35 Lambek grammars are context free - Pentus - 1993
35 Learnable Classes of Categorial Grammars (context) - Kanazawa - 1994
35 Labelled Deductive Systems for categorial theorem proving (context) - Moortgat - 1992
33 Combinators and grammars (context) - Steedman - 1988
33 Sequent calculi for normal modal propositional logics (context) - Wansing
32 Type-Logical Semantics (context) - Carpenter - 1996
31 Power and weakness of the modal Display Calculus - Kracht - 1993
30 Structural Control (context) - Kurtonina, Moortgat - 1995
29 General semantics (context) - Lewis - 1972
29 Partial Gaggles Applied to Logics With Restricted Structural.. - Dunn - 1993
28 Generalized Phrase Structure Grammars (context) - Pollard - 1984
27 Categorial grammars determined from linguistic data by unifi.. (context) - Buszkowski, Penn - 1990
27 Heads and phrases. Type calculus for dependency and constitu.. - Moortgat, Morrill - 1991
27 Completeness results for Lambek syntactic calculus (context) - Buszkowski - 1986
25 Categorial and categorical grammar (context) - Lambek - 1988
25 Linearizing AUXs in German verbal complexes (context) - Hinrichs, Nakazawa - 1994
22 the unity of logic (context) - Girard - 1993
22 The generative power of categorial grammars and headdriven p.. - Carpenter - 1991
22 Coordination and how to distinguish categories (context) - Sag, Gazdar et al. - 1985
21 Constraint-based categorial grammar - Bouma, van Noord - 1994
21 Combinatory Grammars and parasitic gaps (context) - Steedman - 1987
21 Light Linear Logic - Girard - 1995
19 Higher-order Linear Logic programming of categorial deductio.. - Morrill - 1995
19 Partial proof trees as building blocks for a categorial gram.. - Joshi, Kulick - 1995
19 Multimodal linguistic inference - Moortgat - 1995
18 Generative power of categorial grammars (context) - Buszkowski - 1988
17 Deductive systems and categories (context) - Lambek - 1968
16 Frames and Labels (context) - Kurtonina - 1995
16 Generalized quantification and discontinuous type constructo.. (context) - Moortgat - 1991
15 A program for syntax (context) - Geach - 1972
15 Proof figures and structural operators for categorial gramma.. - Barry, Hepple et al. - 1991
15 Towards a minimalist theory of syntactic structure - Dowty - 1991
15 Adjacency, dependency and order (context) - Moortgat, Oehrle - 1994
15 Some logical aspects of grammatical structure (context) - Curry - 1961
15 Language and Information (context) - Bar-Hillel - 1964
14 Linear Logic for Meaning Assembly - Dalrymple, Lamping et al. - 1995
14 Discontinuity in Categorial Grammar (context) - Morrill - 1995
14 Clausal Proofs and Discontinuity - Morrill - 1995
13 Studied Flexibility (context) - Hendriks - 1993
13 Unification Categorial Grammar: a concise, extendable gramma.. (context) - Calder, Klein et al. - 1988
13 A logical treatment of semi-free word order and bounded disc.. - Reape - 1989
12 Display Logic (context) - Belnap - 1982
12 Logic programming with focussing proofs in Linear Logic (context) - Andreoli - 1992
12 Term-labeled categorial type systems (context) - Oehrle - 1995
12 The Lambek calculus (context) - Benthem - 1988
11 Multi-dimensional compositional functions as a basis for gra.. (context) - Oehrle - 1988
11 Features and agreement - Bayer, Johnson - 1995
11 Decision problems for secondorder Linear Logic - Lincoln, Scedrov et al. - 1995
11 Some generalizations of categorial grammar (context) - Bach - 1984
11 Quantification and scoping: a deductive account - Carpenter - 1994
11 Parsing with polymorphism (context) - Emms - 1993
11 Modifiers and specifiers in Categorial Unification Grammar (context) - Bouma - 1988
11 Intensionality and Boundedness (context) - Morrill - 1990
10 Language Completeness of the Lambek Calculus (context) - Pentus - 1994
10 Language Learning from a Categorial Perspective (context) - Adriaans - 1992
10 Grammar and logical types - Morrill - 1990
10 Lambek calculus and its relational semantics: completeness a.. (context) - eka, as - 1994
10 The semantics of variety in categorial grammar (context) - Benthem - 1983
9 Meeting strength in substructural logics - Venema - 1993
9 Nonmonotonicity and Categorial Unification Grammar (context) - Bouma - 1988
9 Categorial grammars as theories of language (context) - Bach - 1988
8 Geometry of interaction III: the general case (context) - Girard - 1995
8 Hybrid Categorial Logics - Hepple - 1995
8 From categorial grammar to bilinear logic (context) - Lambek - 1993
8 Logical parameters and linguistic variation (context) - Moortgat, Oehrle - 1993
8 The non-associative Lambek calculus (context) - Kandulski - 1988
8 The Grammar and Processing of Order and Dependency (context) - Hepple - 1990
7 The Logic of Information Structures (context) - Wansing
7 the relationship between word-grammar and phrase-grammar (context) - Bach
7 Comparatives and Categorial Grammar (context) - Hendriks - 1995
7 Non-associative Lambek categorial grammar in polynomial time (context) - Aarts, Trautwein - 1995
7 Modalities in Linear Logic weaker than the exponential "of c.. (context) - Bucalo - 1994
7 Formulas-as-types for a hierarchy of sublogics of intuitioni.. (context) - Wansing
6 Labelled deduction and discontinuous constituency (context) - Hepple - 1994
6 Structure of Language and Its Mathematical Aspects (context) - Jakobson - 1961
6 The logic of types (context) - Buszkowski - 1987
6 Categorial grammar and Discourse Representation Theory - Muskens
6 LDS --- Labeled Deductive Systems (context) - Gabbay - 1994
6 Dependency and constituency in categorial grammar (context) - Barry, Pickering - 1990
6 Resource Logics (context) - Roorda - 1991
5 Studies in Categorial Grammar (context) - Barry, Morrill - 1990
5 Structural facilitation and structural inhibition - Morrill - 1994
5 Phrase structure, grammatical relations, and discontinuous c.. (context) - Jacobson - 1987
5 The grammar of intonation and focus (context) - Steedman - 1994
5 Simplified semantics for Relevant Logics (and some of their .. (context) - Restall - 1993
5 Marciszewski and J (context) - Buszkowski - 1988
4 On constraint-based Lambek calculi (context) - orre, Manandhar - 1995
4 A brief survey of frames for the Lambek calculus (context) - sen - 1992
4 Categorial Grammar. Tutorial Overview (context) - Steedman - 1993
4 French object clitics: a multimodal analysis - Kraak - 1995
4 Categoriale grammatica en algebrasche semantiek (context) - Zwarts - 1986
4 Categorial grammar, modalities and algebraic semantics - Versmissen - 1993
4 An undecidability result for polymorphic Lambek calculus (context) - Emms - 1995
3 Typed Feature Structures (context) - Carpenter - 1992
3 Formal Grammar (context) - Morrill, Oehrle - 1995
3 On Combinatory Categorial Grammar (context) - Szabolcsi - 1987
3 Completeness results for polymorphic Lambek calculus (context) - Emms - 1994
3 Tree models and (labeled) categorial grammar (context) - Venema - 1994
3 A categorial theory of intersecting dependencies in Dutch in.. (context) - Steedman - 1984
3 Some applications of categorial polymorphism (context) - Emms - 1993
3 Type-raising, functional composition, and non-constituent co.. (context) - Dowty - 1988
3 Generalized Categorial Grammars and the English Auxiliary (context) - Bach
3 The Lambek calculus enriched with additional connectives (context) - Kanazawa - 1992
3 Information packaging in a categorial perspective (context) - Hendriks - 1994
3 A simple and general method of solving the finite axiomatiza.. (context) - Zielonka - 1989
3 Categorial grammar and lambda calculus (context) - Benthem - 1987
3 Zooming-in, zooming-out - Blackburn, de Rijke - 1995
3 Logic without structural rules. (Another look at Cut Elimina.. (context) - Lambek - 1993
3 Fregean Grammar and residuated semigroups (context) - Buszkowski - 1984
3 A useful substructural logic - Restall - 1994
2 Categorial grammars, lexical rules, and the English predicat.. - Carpenter - 1992
2 Computational Pitfalls in Tractable Grammar Formalisms (context) - Trautwein - 1995
2 Fibered semantics for feature-based grammar logic (context) - orre, Gabbay et al. - 1994
2 Schr oder-Heister (context) - sen - 1993
2 Proving theorems of the second order Lambek calculus in poly.. (context) - Aarts - 1994
2 Grammatical Composition (context) - Versmissen - 1996
2 Semantics of proofs for noncommutative linear logic (context) - Abrusci - 1996
2 Natural language content: a truththeoretic perspective (context) - Gabbay, Kempson - 1992
2 Movement in polymorphic and labelled calculi (context) - Emms - 1994
2 Extraction-covering extensions of the Lambek calculus are no.. (context) - Emms - 1994
2 Natural logic: parsing driven inference (context) - Valencia - 1995
2 Derivation and Structure in Categorial Grammar (context) - Barry - 1991
2 Command and domain constraints in a categorial theory of bin.. - Hepple - 1992
2 Theoretical Linguistics (context) - Lyons - 1968
2 A new theory of English auxiliaries (context) - Schmerling - 1983
2 Categorial grammar meets unification (context) - Benthem - 1988
2 The Cut-Elimination theorem for the second order Lambek calc.. (context) - Emms, Leiss - 1993
1 Powerset residuated algebras and generalized Lambek calculus (context) - owska-Gawiejnowics - 1995
1 Parsing as natural deduction (context) - onig - 1991
1 Categorial GrammarsandNatural Language Structures (context) - Oehrle, Bach et al. - 1988
1 Calculi with Types (context) - Barendregt - 1992
1 LexGram --- a practical categorial grammar formalism (context) - onig - 1995
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.let.uu.nl/~Michael.Moortgat/personal/Courses/cgld00.html): More
Labelled Deduction in the Composition of Form and Meaning - Moortgat (Correct)
Remnant Movement and Structural Complexity - Stabler (1998) (Correct)
Grail: An Automated Proof Assistant for Categorial Grammar Logics - Moot (1998) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC