A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus

DOI10.1016/S1571-0661(05)82589-7zbMath1263.03014OpenAlexW2065638548MaRDI QIDQ4923572

Gerald Penn

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)82589-7

Mathematics Subject Classification ID

Logic of natural languages (03B65) Structure of proofs (03F07) Natural language processing (68T50) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)

Related Items (1)

Unnamed Item

Uses Software

• Elf

Cites Work

• Unnamed Item
• Linear logic
• A polynomial algorithm for the membership problem with categorial grammars
• The structure of multiplicatives
• Proof nets for the multimodal Lambek calculus
• Product-free Lambek calculus and context-free grammars

This page was built for publication: A Graph-Theoretic Approach to Sequent Derivability in the Lambek Calculus