The following pages link to Mehrnoosh Sadrzadeh (Q388205):
Displaying 45 items.
- Lambek vs. Lambek: functorial vector space semantics and string diagrams for Lambek calculus (Q388206) (← links)
- Algebraic semantics and model completeness for intuitionistic public announcement logic (Q393906) (← links)
- Sentence entailment in compositional distributional semantics (Q722091) (← links)
- Ockham's razor and reasoning about information flow (Q833039) (← links)
- Non-commutative logic for compositional distributional semantics (Q1685917) (← links)
- Gaussianity and typicality in matrix distributional semantics (Q2124251) (← links)
- Incremental composition in distributional semantics (Q2236498) (← links)
- Semantic vector models and functional models for pregroup grammars (Q2255181) (← links)
- Linguistic matrix theory (Q2327722) (← links)
- A type-driven vector semantics for ellipsis with anaphora using Lambek calculus with limited contraction (Q2425336) (← links)
- Fuzzy generalised quantifiers for natural language in categorical compositional distributional semantics (Q2658279) (← links)
- Distributional Sentence Entailment Using Density Matrices (Q2798016) (← links)
- Positive Logic with Adjoint Modalities: Proof Theory, Semantics and Reasoning about Information (Q2805170) (← links)
- Classical Knowledge for Quantum Security (Q2825352) (← links)
- Bell States and Negative Sentences in the Distributed Model of Meaning (Q2825369) (← links)
- (Q2848068) (← links)
- (Q2852086) (← links)
- Modular Games for Coalgebraic Fixed Point Logics (Q2873663) (← links)
- Algebra, proof theory and applications for an intuitionistic logic of propositions, actions and adjoint modal operators (Q2946724) (← links)
- A Compositional Distributional Inclusion Hypothesis (Q2963999) (← links)
- Context Update for Lambdas and Vectors (Q2964008) (← links)
- Clitic Movement in Pregroup Grammar: A Cross-Linguistic Approach (Q3019982) (← links)
- Learning in a Changing World, an Algebraic Modal Logical Approach (Q3067471) (← links)
- (Q3093871) (← links)
- Algebraic Semantics and Model Completeness for Intuitionistic Public Announcement Logic (Q3094027) (← links)
- Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281) (← links)
- Reasoning about Meaning in Natural Language with Compact Closed Categories and Frobenius Algebras (Q3179088) (← links)
- A Runs-and-Systems Semantics for Logics of Announcements (Q3584872) (← links)
- Coalgebraic Epistemic Update Without Change of Model (Q3612490) (← links)
- A Frobenius Model of Information Structure in Categorical Compositional Distributional Semantics (Q4599198) (← links)
- POSITIVE LOGIC WITH ADJOINT MODALITIES: PROOF THEORY, SEMANTICS, AND REASONING ABOUT INFORMATION (Q4933590) (← links)
- A Study of Entanglement in a Categorical Framework of Natural Language (Q4997296) (← links)
- Pregroup Grammars, Their Syntax and Semantics (Q5014601) (← links)
- (Q5018341) (← links)
- (Q5019675) (← links)
- (Q5215769) (← links)
- Open System Categorical Quantum Semantics in Natural Language Processing (Q5275356) (← links)
- A generalised quantifier theory of natural language in categorical compositional distributional semantics with bialgebras (Q5377698) (← links)
- Semantic Unification (Q5414954) (← links)
- Word Order Alternation in Sanskrit via Precyclicity in Pregroup Grammars (Q5418966) (← links)
- Epistemic Actions as Resources (Q5431612) (← links)
- (Q5869705) (← links)
- (Q5875343) (← links)
- Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality (Q6057577) (← links)
- Generalised Winograd Schema and its Contextuality (Q6200532) (← links)
