Semantic Unification

DOI10.1007/978-3-642-54789-8_1zbMath1285.03021arXiv1403.3351OpenAlexW4233934090WikidataQ57006451 ScholiaQ57006451MaRDI QIDQ5414954

Mehrnoosh Sadrzadeh, Samson Abramsky

Publication date: 8 May 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1403.3351

Mathematics Subject Classification ID

Logic of natural languages (03B65) Categorical logic, topoi (03G30) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Related Items (6)

Continuous-variable nonlocality and contextuality ⋮ An enriched category theory of language: from syntax to semantics ⋮ Local causation ⋮ Unnamed Item ⋮ Whither semantics? ⋮ Non-locality, contextuality and valuation algebras: a general theory of disagreement

Cites Work

• Unnamed Item
• Sheaves in geometry and logic: a first introduction to topos theory
• Information Theory and Statistical Mechanics
• Dynamic predicate logic
• Type grammars as pregroups
• The donkey and the monoid. Dynamic semantics with control elements

This page was built for publication: Semantic Unification