Semantics in Biproduct Dagger Categories: a quantum logic for natural language - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier
Reports Year : 2012

Semantics in Biproduct Dagger Categories: a quantum logic for natural language

Abstract

Biproduct dagger categories serve as models for natural language. They link the extensional models of predicate calculus with the intensional models of quantum logic. The morphisms representing the extensional meanings of a grammatical string are translated to projectors representing the intensional meanings such that truth is preserved. Pregroup grammars serve as the tool that transforms a grammatical string into a morphism. The chosen linguistic examples concern negation, relative noun phrases, comprehension and quantifiers.
Fichier principal
Vignette du fichier
CatNLsem3.pdf (296.31 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

lirmm-00719198 , version 1 (19-07-2012)

Identifiers

  • HAL Id : lirmm-00719198 , version 1

Cite

Anne Preller. Semantics in Biproduct Dagger Categories: a quantum logic for natural language. RR-12017, 2012, pp.1-28. ⟨lirmm-00719198⟩
120 View
373 Download

Share

More