12 citations · 64 across the 17 of their papers we have counts for
4 papers · 1 filter
Lambek-Grishin Calculus: Focusing, Display and Full Polarization
Giuseppe Greco, Valentin D. Richard, Michael Moortgat +1
\emph{Focused sequent calculi} are a refinement of sequent calculi, where additional side-conditions on the applicability of inference rules force the implementation of a proof sea…
Neural Proof Nets
Konstantinos Kogkalidis, Michael Moortgat, Richard Moot
Linear logic and the linear λ-calculus have a long standing tradition in the study of natural language form and meaning. Among the proof calculi of linear logic, proof nets are of…
A Frobenius Algebraic Analysis for Parasitic Gaps
Michael Moortgat, Mehrnoosh Sadrzadeh, Gijs Wijnholds
The interpretation of parasitic gaps is an ostensible case of non-linearity in natural language composition. Existing categorial analyses, both in the typelogical and in the combin…
Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications
Adriana D. Correia, Henk T. C. Stoof, Michael Moortgat
Extended versions of the Lambek Calculus currently used in computational linguistics rely on unary modalities to allow for the controlled application of structural rules affecting…