Galois Connections in Categorial Type Logic

DOI10.1016/S1571-0661(05)82570-8zbMath1263.03022OpenAlexW2139299951MaRDI QIDQ4923551

Michael Moortgat, Raffaella Bernardi, Carlos Areces

Publication date: 24 May 2013

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

Full work available at URL: https://doi.org/10.1016/s1571-0661(05)82570-8

Mathematics Subject Classification ID

Logic of natural languages (03B65) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (2)

Stochastic Lambek Categorial Grammars ⋮ Optionality, scope, and licensing: An application of partially ordered categories

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Analyzing the core of categorial grammar
• Multimodal linguistic inference
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
• Substructural logics on display
• Generalized Quantifiers in Declarative and Interrogative Sentences
• Galois Connexions
• Type grammars as pregroups

This page was built for publication: Galois Connections in Categorial Type Logic