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