On Residuation

DOI10.1007/978-3-642-54789-8_2MaRDI QIDQ5414955zbMATH OpenOpenAlexFDO

Authors V. Michele Abrusci

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_2

zbMATH Keywords

categorial grammarcyclicityLambek calculuslinear logicproof-net

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3193920
• scientific article; zbMATH DE number 871229
• On resonance
• On Different Concepts of Resolution
• On resolvability and extraresolvability
• scientific article; zbMATH DE number 3243047
• On resurrection axioms
• On complete resolutions
• On resolvability of products
• scientific article; zbMATH DE number 5859861

Cites work

• A tale of four grammars
• Classical conservative extensions of Lambek calculus
• Continuation semantics for the Lambek-Grishin calculus
• From word to sentence. A computational algebraic approach to grammar
• Handsome proof-nets: Perfect matchings and cographs
• scientific article; zbMATH DE number 6296859 (Why is no real title available?)
• Interpolation and FEP for logics of residuated algebras
• Logic and grammar
• Non-commutative logic. I: The multiplicative fragment
• Nonassociative Lambek Calculus with Additives and Context-Free Languages
• The Mathematics of Sentence Structure
• Type logics and pregroups

Cited in

(7)

• Residuation, structural rules and context freeness
• Analyzing the core of categorial grammar
• A geometrical representation of the basic laws of categorial grammar
• scientific article; zbMATH DE number 3887660 (Why is no real title available?)
• Logical grammars, logical theories
• Multi-sorted residuation
• Non-commutative linear logic in linguistics

This page was built for publication: On Residuation

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