-
On structural completeness of the infinite-valued Lukasiewicz's propositional calculus Opublikowano w: Bulletin of the Section of Logic 1976 / Tom 5 / Numer 4 / s. 153 - 1561976CZYSTY TEKST
Piotr Wojtylak, On structural completeness of the infinite-valued Lukasiewicz's propositional calculus, Bulletin of the Section of Logic, 1976 / Tom 5 / Numer 4, s. 153 - 156
BIBTEX@Article{ authors = " Piotr Wojtylak", title = "On structural completeness of the infinite-valued Lukasiewicz's propositional calculus", journal = "Bulletin of the Section of Logic", issue = "1976 / Tom 5 / Numer 4", pages = "153 - 156" }
-
A syntactical characterization of structural completeness for implicational logics Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 1 / s. 2 - 91990CZYSTY TEKST
Piotr Wojtylak, A syntactical characterization of structural completeness for implicational logics, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 1, s. 2 - 9
BIBTEX@Article{ authors = " Piotr Wojtylak", title = "A syntactical characterization of structural completeness for implicational logics", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 1", pages = "2 - 9" }
-
Strongly finie logics: Finite axiomatizability and the problem of supremum Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 2 / s. 99 - 1111979CZYSTY TEKST
Piotr Wojtylak, Strongly finie logics: Finite axiomatizability and the problem of supremum, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 2, s. 99 - 111
BIBTEX@Article{ authors = " Piotr Wojtylak", title = "Strongly finie logics: Finite axiomatizability and the problem of supremum", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 2", pages = "99 - 111" }
-
Matrix representations for structural strengthenings of a propositional logic Opublikowano w: Bulletin of the Section of Logic 1979 / Tom 8 / Numer 2 / s. 72 - 781979CZYSTY TEKST
Piotr Wojtylak, Matrix representations for structural strengthenings of a propositional logic, Bulletin of the Section of Logic, 1979 / Tom 8 / Numer 2, s. 72 - 78
BIBTEX@Article{ authors = " Piotr Wojtylak", title = "Matrix representations for structural strengthenings of a propositional logic", journal = "Bulletin of the Section of Logic", issue = "1979 / Tom 8 / Numer 2", pages = "72 - 78" }
