Wyniki
-
A Perzanowski's hypothesis confirmed
Tomasz Kowalski
Bulletin of the Section of Logic , 25 /1 (1996) s. 58-59 -
A remark on quasivarieties of modal algebras
Tomasz Kowalski
Bulletin of the Section of Logic , 29 /1-2 (2000) s. 27-30 -
Propositional dynamic logic has interpolation
Tomasz Kowalski
Bulletin of the Section of Logic , 30 /1 (2001) s. 33-39 -
Weakly Associative Relation Algebras Hold the Key to the Universe
Tomasz Kowalski
Bulletin of the Section of Logic , 36 /3-4 (2007) s. 145-158