Journal of Logic, Language and Information 31 (1):35-76 (2022)
| Abstract |
This paper explores proof-theoretic aspects of hybrid type-logical grammars, a logic combining Lambek grammars with lambda grammars. We prove some basic properties of the calculus, such as normalisation and the subformula property and also present both a sequent and a proof net calculus for hybrid type-logical grammars. In addition to clarifying the logical foundations of hybrid type-logical grammars, the current study opens the way to variants and extensions of the original system, including but not limited to a non-associative version and a multimodal version incorporating structural rules and unary modes.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| ISBN(s) | |
| DOI | 10.1007/s10849-021-09348-5 |
| Options |
Mark as duplicate
Export citation
|
Download options
References found in this work BETA
The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.
Categorial Type Logics.Michael Moortgat - 1997 - In J. van Benthem & A. ter Meulen (eds.), Handbook of Logic and Language. Elsevier.
Decision Problems for Propositional Linear Logic.Patrick Lincoln, John Mitchell, Andre Scedrov & Natarajan Shankar - 1992 - Annals of Pure and Applied Logic 56 (1-3):239-311.
View all 12 references / Add more references
Citations of this work BETA
No citations found.
Similar books and articles
Extended Pregroup Grammars Applied to Natural Languages.Aleksandra Kiślak-Malinowska - 2012 - Logic and Logical Philosophy 21 (3):229-252.
Lambek Grammars as Combinatory Categorial Grammars.G. Jäger - 2001 - Logic Journal of the IGPL 9 (6):781-792.
Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition.Denis Béchet - 2007 - Studia Logica 87 (2-3):199-224.
Talking About Trees and Truth-Conditions.Reinhard Muskens - 2001 - Journal of Logic, Language and Information 10 (4):417-455.
Talking About Trees and Truth-Conditions.Reinhard Muskens - 1991 - Journal of Logic, Language and Information 10 (4):417-455.
Applying a Logical Interpretation of Semantic Nets and Graph Grammars to Natural Language Parsing and Understanding.Eero Hyvönen - 1986 - Synthese 66 (1):177 - 190.
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars.Christian Retoré & Sylvain Salvati - 2010 - Journal of Logic Language and Information 19 (2):185-200.
Pgf: A Portable Run-Time Format for Type-Theoretical Grammars. [REVIEW]Krasimir Angelov, Björn Bringert & Aarne Ranta - 2010 - Journal of Logic, Language and Information 19 (2):201-228.
On Learnability of Restricted Classes of Categorial Grammars.Barbara Dziemidowicz-Gryz - 2007 - Studia Logica 85 (2):153-169.
Grammatical Structures and Logical Deductions.Wojciech Buszkowski - 1995 - Logic and Logical Philosophy 3:47-86.
Language, Lambdas, and Logic.Reinhard Muskens - 2003 - In R. Oehrle & J. Kruijff (eds.), Resource Sensitivity, Binding, and Anaphora (Studies in Linguistics and Philosophy 80). Dordrecht: Kluwer Academic Publishers. pp. 23--54.
The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-Free Tree Grammars.Stephan Kepser & Jim Rogers - 2011 - Journal of Logic, Language and Information 20 (3):361-384.
Gaifman's Theorem on Categorial Grammars Revisited.Wojciech Buszkowski - 1988 - Studia Logica 47 (1):23 - 33.
A Faithful Representation of Non-Associative Lambek Grammars in Abstract Categorial Grammars.Christian Retoré & Sylvain Salvati - 2010 - Journal of Logic, Language and Information 19 (2):185-200.
Analytics
Added to PP index
2022-01-24
Total views
3 ( #1,357,809 of 2,506,503 )
Recent downloads (6 months)
3 ( #209,726 of 2,506,503 )
2022-01-24
Total views
3 ( #1,357,809 of 2,506,503 )
Recent downloads (6 months)
3 ( #209,726 of 2,506,503 )
How can I increase my downloads?
Downloads
