Wojciech Zielonka

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4903948	2013-01-28	Paper
On the directional Lambek calculus	2010-07-26	Paper
Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms	2009-02-05	Paper
On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String	2007-12-17	Paper
On reduction systems equivalent to the Lambek calculus with the empty string	2002-08-21	Paper
Cut-rule axiomatization of the syntactic calculus \(L_0\)	2002-06-06	Paper
Cut-rule axiomatization of the syntactic calculus \(NL_0\)	2000-10-03	Paper
INTERDEFINABILITY OF LAMBEKIAN FUNCTORS	1994-08-28	Paper
Linear axiomatics of commutative product-free Lambek calculus	1990-01-01	Paper
A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi	1989-01-01	Paper
Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3726091	1985-01-01	Paper
Decidability of free categorial grammars	1981-01-01	Paper
Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3863857	1979-01-01	Paper
A direct proof of the equivalence of free categorial grammars and simple phrase structure grammars	1978-01-01	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Wojciech Zielonka