223 citations · 849 across the 52 of their papers we have counts for
3 papers · 1 filter
Lambek vs. Lambek: Functorial Vector Space Semantics and String Diagrams for Lambek Calculus
Bob Coecke, Edward Grefenstette, Mehrnoosh Sadrzadeh
The Distributional Compositional Categorical (DisCoCat) model is a mathematical framework that provides compositional semantics for meanings of natural language sentences. It consi…
Ockham's razor and reasoning about information flow
Mehrnoosh Sadrzadeh
What is the minimal algebraic structure to reason about information flow? Do we really need the full power of Boolean algebras with co-closure and de Morgan dual operators? How muc…
Epistemic actions as resources
Alexandru Baltag, Bob Coecke, Mehrnoosh Sadrzadeh
We provide algebraic semantics together with a sound and complete sequent calculus for information update due to epistemic actions. This semantics is flexible enough to accommodate…