-
Another proof of Wojtylak's theorem Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 2 / s. 80 - 821981CZYSTY TEKST
Jacek Hawranek, Jan Zygmunt, Another proof of Wojtylak's theorem, Bulletin of the Section of Logic, 1981 / Tom 10 / Numer 2, s. 80 - 82
BIBTEX@Article{ authors = " Jacek Hawranek, Jan Zygmunt", title = "Another proof of Wojtylak's theorem", journal = "Bulletin of the Section of Logic", issue = "1981 / Tom 10 / Numer 2", pages = "80 - 82" }
-
Comments on the question of Wolniewicz's Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 4 / s. 128 - 1321990CZYSTY TEKST
Jacek Hawranek, Jan Zygmunt, Comments on the question of Wolniewicz's, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 4, s. 128 - 132
BIBTEX@Article{ authors = " Jacek Hawranek, Jan Zygmunt", title = "Comments on the question of Wolniewicz's", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 4", pages = "128 - 132" }
-
A topological interpretation of diagonalizable algebras Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 4 / s. 117 - 1211990CZYSTY TEKST
Jacek Hawranek, A topological interpretation of diagonalizable algebras, Bulletin of the Section of Logic, 1990 / Tom 19 / Numer 4, s. 117 - 121
BIBTEX@Article{ authors = " Jacek Hawranek", title = "A topological interpretation of diagonalizable algebras", journal = "Bulletin of the Section of Logic", issue = "1990 / Tom 19 / Numer 4", pages = "117 - 121" }
-
A theorem on the degree of complexity of some sentential logics Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 2 / s. 68 - 701980CZYSTY TEKST
Jacek Hawranek, Jan Zygmunt, A theorem on the degree of complexity of some sentential logics, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 2, s. 68 - 70
BIBTEX@Article{ authors = " Jacek Hawranek, Jan Zygmunt", title = "A theorem on the degree of complexity of some sentential logics", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 2", pages = "68 - 70" }
-
Matrices for predicate logics Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 1 / s. 27 - 311977CZYSTY TEKST
Jacek Hawranek, Marek Tokarz, Matrices for predicate logics, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 1, s. 27 - 31
BIBTEX@Article{ authors = " Jacek Hawranek, Marek Tokarz", title = "Matrices for predicate logics", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 1", pages = "27 - 31" }
-
A characterization of prime theories in Johansson's minimal logic Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 3 / s. 122 - 1251983CZYSTY TEKST
Jacek Hawranek, A characterization of prime theories in Johansson's minimal logic, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 3, s. 122 - 125
BIBTEX@Article{ authors = " Jacek Hawranek", title = "A characterization of prime theories in Johansson's minimal logic", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 3", pages = "122 - 125" }
-
A representation theorem for co-diagonalizable algebras Opublikowano w: Bulletin of the Section of Logic 1985 / Tom 14 / Numer 3 / s. 122 - 1291985CZYSTY TEKST
Jacek Hawranek, A representation theorem for co-diagonalizable algebras, Bulletin of the Section of Logic, 1985 / Tom 14 / Numer 3, s. 122 - 129
BIBTEX@Article{ authors = " Jacek Hawranek", title = "A representation theorem for co-diagonalizable algebras", journal = "Bulletin of the Section of Logic", issue = "1985 / Tom 14 / Numer 3", pages = "122 - 129" }
-
A matrix adequate for S5 with MP and RN Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 3 / s. 122 - 1241980CZYSTY TEKST
Jacek Hawranek, A matrix adequate for S5 with MP and RN, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 3, s. 122 - 124
BIBTEX@Article{ authors = " Jacek Hawranek", title = "A matrix adequate for S5 with MP and RN", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 3", pages = "122 - 124" }
-
Some examples concerning uniformity and complexity of sentential logics Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 2 / s. 71 - 721980CZYSTY TEKST
Jacek Hawranek, Some examples concerning uniformity and complexity of sentential logics, Bulletin of the Section of Logic, 1980 / Tom 9 / Numer 2, s. 71 - 72
BIBTEX@Article{ authors = " Jacek Hawranek", title = "Some examples concerning uniformity and complexity of sentential logics", journal = "Bulletin of the Section of Logic", issue = "1980 / Tom 9 / Numer 2", pages = "71 - 72" }
-
On the degree of matrix complexity Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 2 / s. 50 - 541984CZYSTY TEKST
Jacek Hawranek, On the degree of matrix complexity, Bulletin of the Section of Logic, 1984 / Tom 13 / Numer 2, s. 50 - 54
BIBTEX@Article{ authors = " Jacek Hawranek", title = "On the degree of matrix complexity", journal = "Bulletin of the Section of Logic", issue = "1984 / Tom 13 / Numer 2", pages = "50 - 54" }
-
Notes on the semantics for the logic with semi-negation Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 4 / s. 152 - 1561983CZYSTY TEKST
Jacek Hawranek, Jan Zygmunt, Notes on the semantics for the logic with semi-negation, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 4, s. 152 - 156
BIBTEX@Article{ authors = " Jacek Hawranek, Jan Zygmunt", title = "Notes on the semantics for the logic with semi-negation", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 4", pages = "152 - 156" }
-
Some elementary properties of conditionally distributive lattices Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 3 / s. 117 - 1211983CZYSTY TEKST
Jacek Hawranek, Jan Zygmunt, Some elementary properties of conditionally distributive lattices, Bulletin of the Section of Logic, 1983 / Tom 12 / Numer 3, s. 117 - 121
BIBTEX@Article{ authors = " Jacek Hawranek, Jan Zygmunt", title = "Some elementary properties of conditionally distributive lattices", journal = "Bulletin of the Section of Logic", issue = "1983 / Tom 12 / Numer 3", pages = "117 - 121" }
