4 |
Neural Proof Nets
|
|
|
|
In: CoNLL 2020 - 24th Conference on Computational Natural Language Learning ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02952267 ; CoNLL 2020 - 24th Conference on Computational Natural Language Learning, Nov 2020, Virtual, Dominican Republic. pp.26-40, ⟨10.18653/v1/2020.conll-1.3⟩ ; https://www.conll.org/ (2020)
|
|
BASE
|
|
Show details
|
|
6 |
Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications ...
|
|
|
|
BASE
|
|
Show details
|
|
7 |
A Fregean Restriction on Metarules
|
|
|
|
In: North East Linguistics Society (2020)
|
|
BASE
|
|
Show details
|
|
8 |
Deductive Parsing with an Unbounded Type Lexicon
|
|
|
|
In: 3rd Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science ; SEMSPACE ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02313572 ; SEMSPACE, Aug 2019, Riga, Latvia (2019)
|
|
BASE
|
|
Show details
|
|
10 |
Lexical and Derivational Meaning in Vector-Based Models of Relativisation ...
|
|
|
|
BASE
|
|
Show details
|
|
11 |
Proofs nets and the categorial flow of information
|
|
|
|
In: Logic and Interactive Rationality ; https://hal.archives-ouvertes.fr/hal-00759906 ; Logic and Interactive Rationality, 2012, Amsterdam, Netherlands (2012)
|
|
BASE
|
|
Show details
|
|
13 |
Proof nets for the Lambek-Grishin calculus
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-00759895 ; 2011 (2011)
|
|
BASE
|
|
Show details
|
|
18 |
Symmetric categorial grammar: residuation and Galois connections ...
|
|
|
|
Abstract:
The Lambek-Grishin calculus is a symmetric extension of the Lambek calculus: in addition to the residuated family of product, left and right division operations of Lambek's original calculus, one also considers a family of coproduct, right and left difference operations, related to the former by an arrow-reversing duality. Communication between the two families is implemented in terms of linear distributivity principles. The aim of this paper is to complement the symmetry between (dual) residuated type-forming operations with an orthogonal opposition that contrasts residuated and Galois connected operations. Whereas the (dual) residuated operations are monotone, the Galois connected operations (and their duals) are antitone. We discuss the algebraic properties of the (dual) Galois connected operations, and generalize the (co)product distributivity principles to include the negative operations. We give a continuation-passing-style translation for the new type-forming operations, and discuss some linguistic ... : Submitted to the Jim Lambek Festschrift of Linguistic Analysis (LA, volume 36, to appear) ...
|
|
Keyword:
Computation and Language cs.CL; FOS Computer and information sciences
|
|
URL: https://dx.doi.org/10.48550/arxiv.1008.0170 https://arxiv.org/abs/1008.0170
|
|
BASE
|
|
Hide details
|
|
|
|