A geometrical representation of the basic laws of categorial grammar

DOI10.1007/S11225-016-9698-4MaRDI QIDQ2363501zbMATHOpenAlexFDO

Authors Claudia Casadio, V. Michele Abrusci

Publication date 19 July 2017

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-016-9698-4

zbMATH Keywords

categorial grammarproof-netcyclic linear logic

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• On Residuation
• Lambek's syntactic calculus and noncommutative variants of linear logic: laws and proof-nets
• Symmetric categorial grammar
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Categorial grammar and type theory

Cites work

• scientific article; zbMATH DE number 2134917 (Why is no real title available?)
• scientific article; zbMATH DE number 6296859 (Why is no real title available?)
• A categorial type logic
• A tale of four grammars
• Classical conservative extensions of Lambek calculus
• Continuation semantics for the Lambek-Grishin calculus
• From rules of grammar to laws of nature
• From word to sentence. A computational algebraic approach to grammar
• Logic and grammar
• Non-commutative logic. I: The multiplicative fragment
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• On Residuation
• Phase semantics and sequent calculus for pure noncommutative classical linear propositional logic
• The Mathematics of Sentence Structure
• Type logics and pregroups

Cited in

(3)

• A geometric hierarchy beyond context-free languages
• Analyzing the core of categorial grammar
• Non-commutative linear logic in linguistics

This page was built for publication: A geometrical representation of the basic laws of categorial grammar

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2363501)