Wojciech Zielonka

MaRDI QIDQ209452zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 6131419 (Why is no real title available?)	2013-01-28	Paper
On the directional Lambek calculus Logic Journal of the IGPL	2010-07-26	Paper
Weak Implicational Logics Related to the Lambek Calculus—Gentzen versus Hilbert Formalisms Towards Mathematical Philosophy	2009-02-05	Paper
On Reduction Systems Equivalent to the Non-associative Lambek Calculus with the Empty String Journal Of Logic And Computation	2007-12-17	Paper
On reduction systems equivalent to the Lambek calculus with the empty string Studia Logica	2002-08-21	Paper
Cut-rule axiomatization of the syntactic calculus \(L_0\) Journal of Logic, Language and Information	2002-06-06	Paper
Cut-rule axiomatization of the syntactic calculus \(NL_0\) Journal of Logic, Language and Information	2000-10-03	Paper
INTERDEFINABILITY OF LAMBEKIAN FUNCTORS Mathematical Logic Quarterly	1994-08-28	Paper
Linear axiomatics of commutative product-free Lambek calculus Studia Logica	1990-01-01	Paper
A simple and general method of solving the finite axiomatizability problems for Lambek's syntactic calculi Studia Logica	1989-01-01	Paper
Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String Zeitschrift für Mathematische Logik und Grundlagen der Mathematik	1988-01-01	Paper
scientific article; zbMATH DE number 3957068 (Why is no real title available?)	1985-01-01	Paper
Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes Mathematical Logic Quarterly	1981-01-01	Paper
Decidability of free categorial grammars Functiones et Approximatio. Commentarii Mathematici	1981-01-01	Paper
scientific article; zbMATH DE number 3664912 (Why is no real title available?)	1979-01-01	Paper
A direct proof of the equivalence of free categorial grammars and simple phrase structure grammars Studia Logica	1978-01-01	Paper

Research outcomes over time

This page was built for person: Wojciech Zielonka