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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Translate to english
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,130
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

The Mathematics of Sentence Structure.Joachim Lambek - 1958 - Journal of Symbolic Logic 65 (3):154-170.
Proofs and Types.Jean-Yves Girard - 1989 - Cambridge University Press.
Categorial Type Logics.Michael Moortgat - 1997 - In J. van Benthem & A. ter Meulen (eds.), Handbook of Logic and Language. Elsevier.
Agnostic Hyperintensional Semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.

View all 12 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Lambek Grammars as Combinatory Categorial Grammars.G. Jäger - 2001 - Logic Journal of the IGPL 9 (6):781-792.
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.
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.
Type Theory and Universal Grammar.Aarne Ranta - 2009 - Philosophia Scientiae:115-131.

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 )

How can I increase my downloads?

Downloads

My notes