On the directional Lambek calculus

DOI10.1093/JIGPAL/JZP048MaRDI QIDQ3577908zbMATH OpenOpenAlexFDO

Authors Wojciech Zielonka

Publication date 26 July 2010

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzp048

zbMATH Keywords

axiomatizationLambek calculusGentzen formalism

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 6131419
• Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String
• On reduction systems equivalent to the Lambek calculus with the empty string
• On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String
• scientific article; zbMATH DE number 724626

Cited in

(9)

• Logical Aspects of Computational Linguistics
• On reduction systems equivalent to the Lambek calculus with the empty string
• Cut-rule axiomatization of the syntactic calculus \(L_0\)
• Game semantics for the Lambek-calculus: Capturing directionality and the absence of structural rules
• scientific article; zbMATH DE number 3887659 (Why is no real title available?)
• scientific article; zbMATH DE number 724626 (Why is no real title available?)
• Lambek calculus with restricted contraction and expansion
• Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String
• Cut-rule axiomatization of the syntactic calculus \(NL_0\)

This page was built for publication: On the directional Lambek calculus

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