Cut-rule axiomatization of the syntactic calculus \(NL_0\)

DOI10.1023/A:1008309805070zbMath0960.03018OpenAlexW4250752077MaRDI QIDQ1582323

Wojciech Zielonka

Publication date: 3 October 2000

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1008309805070

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: Cut-rule axiomatization of the syntactic calculus \(NL_0\)