- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition
Studia Logica 87 (2-3):199-224 (2007)
Abstract
The paper presents a way to transform pregroup grammars into contextfree grammars using functional composition. The same technique can also be used for the proof-nets of multiplicative cyclic linear logic and for Lambek calculus allowing empty premisesOther Versions
No versions found
My notes
Similar books and articles
Learnability of Pregroup Grammars.Denis Béchet, Annie Foret & Isabelle Tellier - 2007 - Studia Logica 87 (2-3):225-252.
Should Pregroup Grammars be Adorned with Additional Operations?Joachim Lambek - 2007 - Studia Logica 87 (2-3):343-358.
Commutation-Augmented Pregroup Grammars and Mildly Context-Sensitive Languages.Nissim Francez & Michael Kaminski - 2007 - Studia Logica 87 (2-3):295-321.
Extending Free Pregroups with Lower Bounds.Tamar Aizikowitz, Nissim Francez, Daniel Genkin & Michael Kaminski - 2010 - Studia Logica 95 (3):417-441.
Extended Pregroup Grammars Applied to Natural Languages.Aleksandra Kiślak-Malinowska - 2012 - Logic and Logical Philosophy 21 (3):229-252.
Pregroup Grammars, Their Syntax and Semantics.Mehrnoosh Sadrzadeh - 2021 - In Claudia Casadio & Philip J. Scott (eds.), Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics. Springer Verlag. pp. 347-376.
The Pentus Theorem for Lambek Calculus with Simple Nonlogical Axioms.Maria Bulińska - 2005 - Studia Logica 81 (1):43-59.
Proof nets for the multimodal Lambek calculus.Richard Moot & Quintijn Puite - 2002 - Studia Logica 71 (3):415-442.
Classical non-associative Lambek calculus.Philippe de Groote & François Lamarche - 2002 - Studia Logica 71 (3):355-388.
Analytics
Added to PP
2009-01-28
Downloads
28 (#804,720)
6 months
4 (#1,260,583)
2009-01-28
Downloads
28 (#804,720)
6 months
4 (#1,260,583)
Historical graph of downloads
Citations of this work
Learnability of Pregroup Grammars.Denis Béchet, Annie Foret & Isabelle Tellier - 2007 - Studia Logica 87 (2-3):225-252.
References found in this work
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.
Quantales and (noncommutative) linear logic.David N. Yetter - 1990 - Journal of Symbolic Logic 55 (1):41-64.
The structure of multiplicatives.Vincent Danos & Laurent Regnier - 1989 - Archive for Mathematical Logic 28 (3):181-203.
Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic.V. Michele Abrusci - 1991 - Journal of Symbolic Logic 56 (4):1403-1451.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-648784bb4d-f5f4x uwo