Maciej Kandulski
2 artykuły w 1 czasopismach
-
Axiomatizations of Commutative and Nonassociative Ajdukiewicz Calculus Opublikowano w: Bulletin of the Section of Logic 1994 / Tom 23 / Numer 4 / s. 151 - 1571994CZYSTY TEKST
Maciej Kandulski, Axiomatizations of Commutative and Nonassociative Ajdukiewicz Calculus, Bulletin of the Section of Logic, 1994 / Tom 23 / Numer 4, s. 151 - 157
BIBTEX@Article{ authors = " Maciej Kandulski", title = "Axiomatizations of Commutative and Nonassociative Ajdukiewicz Calculus", journal = "Bulletin of the Section of Logic", issue = "1994 / Tom 23 / Numer 4", pages = "151 - 157" }
-
Completeness and axiomatizability theorems for the non-associative Lambek syntactic calculus Opublikowano w: Bulletin of the Section of Logic 1985 / Tom 14 / Numer 4 / s. 164 - 1691985CZYSTY TEKST
Maciej Kandulski, Completeness and axiomatizability theorems for the non-associative Lambek syntactic calculus, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 4, s. 164 - 169
BIBTEX@Article{ authors = " Maciej Kandulski", title = "Completeness and axiomatizability theorems for the non-associative Lambek syntactic calculus", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 4", pages = "164 - 169" }
