Switch to: Citations

References in:

Linear axiomatics of commutative product-free Lambek calculus

Wojciech Zielonka

Studia Logica 49 (4):515 - 522 (1990)

Add references

You must login to add references.

Cut‐Rule Axiomatization of Product‐Free Lambek Calculus With the Empty String.Wojciech Zielonka - 1988 - Mathematical Logic Quarterly 34 (2):135-142.details Polish Philosophy in European Philosophy Direct download Export citation Bookmark 5 citations
Cut-Rule Axiomatization of Product-Free Lambek Calculus With the Empty String.Wojciech Zielonka - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):135-142.details Polish Philosophy in European Philosophy Direct download Export citation Bookmark 3 citations
Axiomatizability of Ajdukiewicz‐Lambek Calculus by Means of Cancellation Schemes.Wojciech Zielonka - 1981 - Mathematical Logic Quarterly 27 (13‐14):215-224.details Polish Philosophy in European Philosophy Direct download Export citation Bookmark 10 citations
Axiomatizability of Ajdukiewicz-Lambek Calculus by Means of Cancellation Schemes.Wojciech Zielonka - 1981 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 27 (13-14):215-224.details Polish Philosophy in European Philosophy Direct download Export citation Bookmark 10 citations
Untersuchungen über das logische Schließen. I.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 35:176–210.details 20th Century Logic in 20th Century Philosophy Classical Logic in Logic and Philosophy of Logic Intuitionistic Logic in Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download Export citation Bookmark 124 citations
Untersuchungen über das logische Schließen. II.Gerhard Gentzen - 1935 - Mathematische Zeitschrift 39:405–431.details 20th Century Logic in 20th Century Philosophy Classical Logic in Logic and Philosophy of Logic Intuitionistic Logic in Logic and Philosophy of Logic Proof Theory in Logic and Philosophy of Logic Direct download Export citation Bookmark 54 citations
The logic of types.Wojciech Buszkowski - 1987 - In Jan T. J. Srzednicki (ed.), Initiatives in Logic. M. Nijhoff. pp. 180--206.details Areas of Mathematics in Philosophy of Mathematics $109.69 new (collection) View on Amazon.com Direct download Export citation Bookmark 10 citations

1