Wojciech Buszkowski  Home/Search
Context Related
| amu.edu.pl/~buszko/pentus.ps 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: amu.edu.pl/~buszko/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Pentus [24] proves the equivalence of LCG's and CFG's, and CFG's are equivalent to BCG's by the Gaifman theorem [1]. This paper provides a procedure to extend any LCG to an equivalent BCG by affixing new types to the lexicon; a procedure of that kind was proposed as early, as Cohen [12], but it was deficient [4]. We use a modification of Pentus' proof and a new proof of the Gaifman theorem on the basis of the Lambek calculus. 1 Introduction and preliminaries A categorial grammar is a... (Update)
Context of citations to this paper: More
.... of grammar transformation: for instance, a context free grammar can be transformed into an equivalent basic categorial grammar (see [6]) We describe the formalism of Nonassociative Lambek Calculus (NL) Formulas (also called types) are formed out of (denumerably many)...
Cited by: More
Lambek Calculus with Nonlogical Axioms - Buszkowski (2002) (Correct)
Active bibliography (related documents): More All
0.8: On Commutative and Nonassociative Syntactic Calculi and.. - Kandulski (1995) (Correct)
0.8: Product-free Lambek calculus and context-free grammars - Pentus (1997) (Correct)
0.7: Lambek Grammars Are Context Free - Pentus (1993) (Correct)
Similar documents based on text: More All
1.0: Conjoinability and unification in Lambek categorial grammars - Foret (2001) (Correct)
0.7: k-Valued Non-Associative Lambek Grammars are Learnable from.. - Bechet, Foret (2003) (Correct)
0.6: Rigid Lambek grammars are not learnable from strings - Foret, Le Nir (Correct)
BibTeX entry: (Update)
W. Buszkowski, Extending Lambek Grammars to Basic Categorial Grammars, Journal of Logic, Language and Information 5 (1996), 279-295. http://citeseer.ist.psu.edu/buszkowski96extending.html More
@article{ buszkowski96extending,
author = "Wojciech Buszkowski",
title = "Extending Lambek Grammars to Basic Categorial Grammars",
journal = "Journal of Logic, Language and Information",
volume = "5",
number = "3/4",
pages = "279-295",
year = "1996",
url = "citeseer.ist.psu.edu/buszkowski96extending.html" }
Citations (may not include all citations):1911 Introduction to Automata Theory (context) - Hopcroft, Ullman - 1979
982 Theoretical Computer Science (context) - Girard, Logic - 1987
359 Introduction to higher-order categorical logic (context) - Lambek, Scott - 1986
248 The mathematics of sentence structure (context) - Lambek - 1958
134 Labelled Deductive Systems (context) - Gabbay - 1991
46 Resource Logics: Proof-theoretical Investigations (context) - Roorda - 1991
42 Categorial Investigations: Logical and Linguistic Aspects of.. (context) - Moortgat - 1988
37 Action Logic and pure induction - Pratt
35 Lambek Grammars are Context-Free - Pentus - 1992
31 Categorial Grammars and Natural Language Structures (context) - Oehrle, Bach et al. - 1988
29 Partial Gaggles Applied to Logics with Restricted Structural.. - Dunn
27 Completeness Results for Lambek Syntactic Calculus (context) - Buszkowski - 1986
24 Formal properties of grammars (context) - Chomsky - 1973
22 On categorial and phrase structure grammars (context) - Bar-Hillel, Gaifman et al. - 1960
18 Generative Power of Categorial Grammars (context) - Buszkowski
12 Oxford University Press (context) - Dosen, Schroeder-Heister et al. - 1993
9 Lambdas and Dynamic Logic (context) - van Benthem, Action - 1991
8 Some decision problems in the theory of syntactic categories (context) - Buszkowski - 1982
6 Lecture Notes in Artificial Intelligence (context) - van Eijck, Logics - 1991
5 The equivalence of two concepts of categorial grammar (context) - Cohen - 1967
5 Generative Capacity of Nonassociative Lambek Calculus (context) - Buszkowski - 1986
5 The Equivalence of Unidirectional Lambek Categorial Grammars.. (context) - Buszkowski - 1985
5 The Equivalence of Nonassociative Lambek Categorial Grammars.. (context) - Kandulski - 1988
5 Marciszewski and J (context) - Buszkowski - 1988
4 On Generative Capacity of the Lambek Calculus (context) - Buszkowski
1 Gaifman's Theorem on Categorial Grammars revisited (context) - Buszkowski - 1988
Documents on the same site (http://main.amu.edu.pl/~buszko/): More
Categorial Grammars with Negative Information - Buszkowski (1995) (Correct)
Representation of Residuated Semigroups in Some.. - Buszkowski.. (1997) (Correct)
Relations between Sets of Time Points and Quasi-Linear.. - Buszkowski, Mickiewicz (1995) (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