Natural language semantics in biproduct dagger categories

DOI10.1016/j.jal.2013.08.001zbMath1335.03029OpenAlexW2066651786MaRDI QIDQ280847

Anne Preller

Publication date: 10 May 2016

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2013.08.001

zbMATH Keywords

quantum logicbiproduct dagger categoriescompact bilinear logiccompact closed categoriescompositional semanticspregroup grammarsproof graphstwo-sorted logic

Mathematics Subject Classification ID

Logic of natural languages (03B65)

Related Items (2)

A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras ⋮ Unnamed Item

Cites Work

• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Quantum logic in dagger kernel categories
• Finite Models of Some Substructural Logics
• Dagger Compact Closed Categories and Completely Positive Maps
• Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras
• Free compact 2-categories
• The Geometry of Information Retrieval
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Natural language semantics in biproduct dagger categories