Jacek Hawranek
12 artykuły w 1 czasopismach
TYTUŁ ARTYKUŁU
ROK
CZYNNOŚCI
-
Matrices for predicate logics Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 1 / s. 27 - 31ROK: 1977CZYSTY TEKSTBIBTEX
-
On the degree of matrix complexity Opublikowano w: Bulletin of the Section of Logic 1984 / Tom 13 / Numer 2 / s. 50 - 54ROK: 1984CZYSTY TEKSTBIBTEX
-
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 - 70ROK: 1980CZYSTY TEKSTBIBTEX
-
Some examples concerning uniformity and complexity of sentential logics Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 2 / s. 71 - 72ROK: 1980CZYSTY TEKSTBIBTEX
-
Another proof of Wojtylak's theorem Opublikowano w: Bulletin of the Section of Logic 1981 / Tom 10 / Numer 2 / s. 80 - 82ROK: 1981CZYSTY TEKSTBIBTEX
-
A topological interpretation of diagonalizable algebras Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 4 / s. 117 - 121ROK: 1990CZYSTY TEKSTBIBTEX
-
Some elementary properties of conditionally distributive lattices Opublikowano w: Bulletin of the Section of Logic 1983 / Tom 12 / Numer 3 / s. 117 - 121ROK: 1983CZYSTY TEKSTBIBTEX
-
A matrix adequate for S5 with MP and RN Opublikowano w: Bulletin of the Section of Logic 1980 / Tom 9 / Numer 3 / s. 122 - 124ROK: 1980CZYSTY TEKSTBIBTEX
-
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 - 125ROK: 1983CZYSTY TEKSTBIBTEX
-
A representation theorem for co-diagonalizable algebras Opublikowano w: Bulletin of the Section of Logic 1985 / Tom 14 / Numer 3 / s. 122 - 129ROK: 1985CZYSTY TEKSTBIBTEX
-
Comments on the question of Wolniewicz's Opublikowano w: Bulletin of the Section of Logic 1990 / Tom 19 / Numer 4 / s. 128 - 132ROK: 1990CZYSTY TEKSTBIBTEX
-
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 - 156ROK: 1983CZYSTY TEKSTBIBTEX
