On reduction systems equivalent to the Lambek calculus with the empty string

DOI10.1023/A:1016382907414zbMath1013.03015MaRDI QIDQ1611249

Wojciech Zielonka

Publication date: 21 August 2002

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Lambek calculusaxiomatizabilitycut rule

Mathematics Subject Classification ID

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

Related Items (1)

Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms

This page was built for publication: On reduction systems equivalent to the Lambek calculus with the empty string