Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String
From MaRDI portal
Publication:3030800
DOI10.1002/malq.19880340207zbMath0627.03013MaRDI QIDQ3030800
Publication date: 1988
Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.19880340207
finite axiomatization; formal grammars; syntactic types; cut-rule axiomatizations; Lambek's syntactic calculus; unidirectional fragments
Related Items
Linear axiomatics of commutative product-free Lambek calculus, Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms