Positive logic with adjoint modalities: Proof theory, semantics, and reasoning about information by Sadrzadeh, M, Dyckhoff, R, Sadrzadeh, M

Modal Linear Logic in Higher Order Logic‚ an experiment in Coq by Sadrzadeh, M

Ockham's Razor and Reasoning about Information Flow by Sadrzadeh, M

An Adventure into Hungarian Word Order with Cyclic Pregroups by Sadrzadeh, M

High Level Quantum Structures in Linguistics and Multi Agent Systems by Sadrzadeh, M

Pregroup Analysis of Persian Sentences by Sadrzadeh, M

Aximo: Automated Axiomatic Reasoning for Information Update by Richards, S, Sadrzadeh, M

Experimental Support for a Categorical Compositional Distributional Model of Meaning by Grefenstette, E, Sadrzadeh, M

Positive Logic with Adjoint Modalities: Proof Theory‚ Semantics and Reasoning about Information by Sadrzadeh, M, Dyckhoff, R

Clitic Movement in Pregroup Grammar: a Cross−linguistic Approach by Casadio, C, Sadrzadeh, M

Reasoning about Knowledge in Linear Logic: Modalities and Complexity by Marion, M, Sadrzadeh, M

Concrete Models and Empirical Evaluations for the Categorical Compositional Distributional Model of Meaning by Grefenstette, E, Sadrzadeh, M

Semantic Vector Space and Functional Models for Pregroup Grammars by Preller, A, Sadrzadeh, M

A Cut−Free Sequent Calculus for Algebraic Dynamic Epistemic Logic by Dyckhoff, R, Sadrzadeh, M

Semantic Vector Models and Functional Models for Pregroup Grammars. by Preller, A, Sadrzadeh, M

Experimental Support for a Categorical Compositional Distributional Model of Meaning by Grefenstette, E, Sadrzadeh, M

A Runs−and−Systems Semantics for Logics of Announcement by Pucella, R, Sadrzadeh, M

A Compositional Distributional Semantics‚ Two Concrete Constructions‚ and some Experimental Evaluations by Sadrzadeh, M, Grefenstette, E

Prior Disambiguation of Word Tensors for Constructing Sentence Vectors by Kartsaklis, D, Sadrzadeh, M

Modular games for coalgebraic fixed point logics by Cîrstea, C, Sadrzadeh, M