On Associative Lambek Calculus Extended with Basic Proper Axioms

DOI10.1007/978-3-642-54789-8_10zbMath1285.03014OpenAlexW24471700MaRDI QIDQ5414964

Annie Foret

Publication date: 8 May 2014

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

Full work available at URL: https://doi.org/10.1007/978-3-642-54789-8_10

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Cites Work

• Unnamed Item
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• The Mathematics of Sentence Structure
• Fully Lexicalized Pregroup Grammars
• Some Decision Problems in the Theory of Syntactic Categories

This page was built for publication: On Associative Lambek Calculus Extended with Basic Proper Axioms