# Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications

@article{Correia2021PuttingAS, title={Putting a Spin on Language: A Quantum Interpretation of Unary Connectives for Linguistic Applications}, author={A. D. Correia and H. T. C. Stoof and Michael Moortgat}, journal={ArXiv}, year={2021}, volume={abs/2004.04128} }

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 word order and phrase structure. These controlled structural operations give rise to derivational ambiguities that are missed by the original Lambek Calculus or its pregroup simplification. Proposals for compositional interpretation of extended Lambek Calculus in the compact closed category of FVect and linear maps…

## 5 Citations

### Introducing Proof Tree Automata and Proof Tree Graphs

- Computer ScienceArXiv
- 2022

It is shown that a PTA can decompose as a partial map from a calculus to a traditional tree automaton, and the statement in the theory of refinement systems is formulated.

### Quantum computations for disambiguation and question answering

- Computer ScienceQuantum Inf. Process.
- 2022

This paper introduces a new framework that starts from a grammar that can be interpreted by means of tensor contraction, to build word representations as quantum states that serve as input to a quantum algorithm.

### J un 2 02 1 Grover ’ s Algorithm for Question Answering

- Computer Science
- 2021

This paper adapts Grover’s algorithm to the problem of finding a correct answer to a natural language question in English, thus contributing to the growing field of Quantum Natural Language Processing.

### Grover's Algorithm for Question Answering

- Computer ScienceArXiv
- 2021

This paper adapts Grover’s algorithm to the problem of finding a correct answer to a natural language question in English, thus contributing to the growing field of Quantum Natural Language Processing.

### Density Matrices with Metric for Derivational Ambiguity

- Computer ScienceFLAP
- 2020

This work replaces the pregroup front end by a Lambek categorial grammar with directional implications expressing a word's selectional requirements, and introduces a symmetric, nondegenerate bilinear form called a "metric" that defines a canonical isomorphism between a vector space and its dual, allowing to keep a distinction between left and right implication.

## References

SHOWING 1-10 OF 20 REFERENCES

### Density Matrices with Metric for Derivational Ambiguity

- Computer ScienceFLAP
- 2020

This work replaces the pregroup front end by a Lambek categorial grammar with directional implications expressing a word's selectional requirements, and introduces a symmetric, nondegenerate bilinear form called a "metric" that defines a canonical isomorphism between a vector space and its dual, allowing to keep a distinction between left and right implication.

### Lexical and Derivational Meaning in Vector-Based Models of Relativisation

- LinguisticsArXiv
- 2017

A compositional distributional framework is presented that allows us to give a single meaning recipe for the relative pronoun reconciling the Frobenius semantics with the demands of Dutch derivational syntax.

### A Frobenius Algebraic Analysis for Parasitic Gaps

- MathematicsFLAP
- 2020

This work identifies two types of parasitic gapping where the duplication of semantic content can be confined to the lexicon and proposes a polymorphic type schema for the head of the adjunct phrase that introduces the primary gap.

### Meaning updating of density matrices

- Computer ScienceFLAP
- 2020

This work underpins implementation of text-level natural language processing on quantum hardware (a.k.a. QNLP), for which exponential space-gain and quadratic speed-up have previously been identified.

### Vector spaces as Kripke frames

- MathematicsFLAP
- 2020

Applying results and insights from duality and representation theory for the algebraic semantics of nonclassical logics, the complex algebras of the Lambek calculus are regarded as `Kripke frames' the complete residuated lattices, making it possible to establish a systematic connection between vector space semantics and the standard Routley-Meyer semantics of (modal) substructural logics.

### Introduction to Quantum Mechanics

- Physics
- 1960

I. THEORY. 1. The Wave Function. 2. The Time-Independent Schrodinger Equation. 3. Formalism. 4. Quantum Mechanics in Three Dimensions. 5. Identical Particles. II. APPLICATIONS. 6. Time-Independent…

### Linear Algebra Done Right

- Mathematics
- 1995

-Preface for the Instructor-Preface for the Student-Acknowledgments-1. Vector Spaces- 2. Finite-Dimensional Vector Spaces- 3. Linear Maps- 4. Polynomials- 5. Eigenvalues, Eigenvectors, and Invariant…