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

DOI10.1023/A:1008355810911zbMath0986.03020OpenAlexW2153486658MaRDI QIDQ5946341

Wojciech Zielonka

Publication date: 6 June 2002

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

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

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 \(L_0\)