A Categorial Type Logic

DOI10.1007/978-3-642-54789-8_18zbMath1285.03017OpenAlexW1548534317MaRDI QIDQ5414972

Glyn Morrill

Publication date: 8 May 2014

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

Full work available at URL: http://hdl.handle.net/2117/28269

Mathematics Subject Classification ID

Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (3)

A geometrical representation of the basic laws of categorial grammar ⋮ The multiplicative-additive Lambek calculus with subexponential and bracket modalities ⋮ Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets

Uses Software

• CatLog
• Grail

Cites Work

• Unnamed Item
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Multimodal linguistic inference
• The displacement calculus
• Logic Programming of the Displacement Calculus
• Dutch Grammar and Processing: A Case Study in TLG
• On Anaphora and the Binding Principles in Categorial Grammar

This page was built for publication: A Categorial Type Logic