Wyniki
-
Some examples concerning uniformity and complexity of sentential logics
Jacek Hawranek
Bulletin of the Section of Logic , 9 /2 (1980) s. 71-72 -
A matrix adequate for S5 with MP and RN
Jacek Hawranek
Bulletin of the Section of Logic , 9 /3 (1980) s. 122-124 -
A characterization of prime theories in Johansson's minimal logic
Jacek Hawranek
Bulletin of the Section of Logic , 12 /3 (1983) s. 122-125 -
On the degree of matrix complexity
Jacek Hawranek
Bulletin of the Section of Logic , 13 /2 (1984) s. 50-54 -
A representation theorem for co-diagonalizable algebras
Jacek Hawranek
Bulletin of the Section of Logic , 14 /3 (1985) s. 122-129 -
A topological interpretation of diagonalizable algebras
Jacek Hawranek
Bulletin of the Section of Logic , 19 /4 (1990) s. 117-121 -
A theorem on the degree of complexity of some sentential logics
Jacek Hawranek, Jan Zygmunt
Bulletin of the Section of Logic , 9 /2 (1980) s. 68-70 -
Another proof of Wojtylak's theorem
Jacek Hawranek, Jan Zygmunt
Bulletin of the Section of Logic , 10 /2 (1981) s. 80-82 -
Some elementary properties of conditionally distributive lattices
Jacek Hawranek, Jan Zygmunt
Bulletin of the Section of Logic , 12 /3 (1983) s. 117-121 -
Notes on the semantics for the logic with semi-negation
Jacek Hawranek, Jan Zygmunt
Bulletin of the Section of Logic , 12 /4 (1983) s. 152-156 -
Matrices for predicate logics
Jacek Hawranek, Marek Tokarz
Bulletin of the Section of Logic , 6 /1 (1977) s. 27-31 -
Comments on the question of Wolniewicz's
Jacek Hawranek, Jan Zygmunt
Bulletin of the Section of Logic , 19 /4 (1990) s. 128-132