Zobrazeno 1 - 10
of 24
pro vyhledávání: '"Bastenhof, A."'
Autor:
Bastenhof, Arno
Lambek's non-associative syntactic calculus (NL) excels in its resource consciousness: the usual structural rules for weakening, contraction, exchange and even associativity are all dropped. Recently, there have been proposals for conservative extens
Externí odkaz:
http://arxiv.org/abs/1106.0399
Autor:
Bastenhof, Arno
Grishin proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat, who spoke of the Lambek-Grishin calculus (LG). In this paper, we adapt Girard's polarity-sen
Externí odkaz:
http://arxiv.org/abs/1101.5757
Autor:
Bastenhof, Arno
Categorial type logics, pioneered by Lambek, seek a proof-theoretic understanding of natural language syntax by identifying categories with formulas and derivations with proofs. We typically observe an intuitionistic bias: a structural configuration
Externí odkaz:
http://arxiv.org/abs/1009.3238
Autor:
Arno Bastenhof
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642547881
Categories and Types in Logic, Language, and Physics
Categories and Types in Logic, Language, and Physics
The topic of this paper concerns a particular extension of Lambek’s syntactic calculus [5] that was proposed by Grishin [4]. Roughly, the usual residuated family ( ⊗ ,/,\) is extended by a coresiduated triple ( Open image in new window ) mirrorin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4cd4c7f336725d0c292488c0548e4002
https://doi.org/10.1007/978-3-642-54789-8_3
https://doi.org/10.1007/978-3-642-54789-8_3
This thesis constitutes an exploration into categorial type logics, attempting the reduction of natural language grammar to proof theory. Originating in Lambek's proposal for a syntactic calculus, the field has since grown to accommodate various comp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::a7217c2b431aa4aafc5671743b3ce05b
https://dspace.library.uu.nl/handle/1874/273870
https://dspace.library.uu.nl/handle/1874/273870
Autor:
Arno Bastenhof
Publikováno v:
Logic, Language and Meaning ISBN: 9783642314810
Amsterdam Colloquium on Logic, Language and Meaning
Amsterdam Colloquium on Logic, Language and Meaning
We ask to what extent a satisfactory categorial analysis of non-local scope construal can already be realized while restricting to a non-commutative, non-associative setting, and without relaxing compositionality to a relation. In response, we show a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6dfb9b42326b0f99326f4f80b57288da
https://doi.org/10.1007/978-3-642-31482-7_24
https://doi.org/10.1007/978-3-642-31482-7_24
Autor:
Arno Bastenhof
Publikováno v:
Formal Grammar ISBN: 9783642320231
FG
FG
Grishin ([9]) proposed enriching the Lambek calculus with multiplicative disjunction (par) and coresiduals. Applications to linguistics were discussed by Moortgat ([14]), who spoke of the Lambek-Grishin calculus (LG). In this paper, we adapt Girard's
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f50d42d92e6eccebb40635b303e636cf
https://doi.org/10.1007/978-3-642-32024-8_1
https://doi.org/10.1007/978-3-642-32024-8_1
Publikováno v:
Logical Aspects of Computational Linguistics-6th International Conference, LACL 2011, Montpellier, France, June 29-July 1, 2011. Proceedings, 33. Springer
STARTPAGE=33;TITLE=Logical Aspects of Computational Linguistics-6th International Conference, LACL 2011, Montpellier, France, June 29-July 1, 2011. Proceedings
STARTPAGE=33;TITLE=Logical Aspects of Computational Linguistics-6th International Conference, LACL 2011, Montpellier, France, June 29-July 1, 2011. Proceedings
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::277895478885a704b8cd3b645ac1014e
https://dspace.library.uu.nl/handle/1874/220364
https://dspace.library.uu.nl/handle/1874/220364
Autor:
Arno Bastenhof
Publikováno v:
Logical Aspects of Computational Linguistics ISBN: 9783642222207
LACL
LACL
While initially motivated for studying natural language syntax, the intuitionistic bias underlying traditional Lambek calculi renders them particularly suitable to a Montagovian formal semantics through the Curry-Howard correspondence. Several recent
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::be7cb00ac065d1864e501433f12e8a8b
https://doi.org/10.1007/978-3-642-22221-4_3
https://doi.org/10.1007/978-3-642-22221-4_3
Autor:
Arno Bastenhof
Publikováno v:
Interfaces: Explorations in Logic, Language and Computation ISBN: 9783642147289
We propose an analysis of extraction in the Lambek-Grishin calculus (LG): a categorial type logic featuring subtractions A Θ B and B Θ A, with proof-theoretic behavior dual to that of the usual implications A/B, B\A. Our analysis rests on three pil
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aba90e1a13c37648363d35c8a5cc90f1
https://doi.org/10.1007/978-3-642-14729-6_5
https://doi.org/10.1007/978-3-642-14729-6_5