Wyniki
-
Unitary Unification of S5 Modal Logic and its Extensions
Wojciech Dzik
Bulletin of the Section of Logic , 32 /1-2 (2003) s. 19-26 -
Transparent Unifiers in Modal Logics with Self-Conjugate Operators
Wojciech Dzik
Bulletin of the Section of Logic , 35 /2-3 (2006) s. 73-83 -
Remarks on Projective Unifiers
Wojciech Dzik
Bulletin of the Section of Logic , 40 /1-2 (2011) s. 37-46 -
On distributivity of closure systems
Wojciech Dzik, Roman Suszko
Bulletin of the Section of Logic , 6 /2 (1977) s. 64-66 -
Unifiability in Relation Algebras and in Products of S5
Wojciech Dzik, Beniamin Wróbel
Bulletin of the Section of Logic , 44 /1-2 (2015) s. 1-14 -
Preserving Filtering Unification By Adding Compatible Operations To Some Heyting Algebras
Wojciech Dzik, Sandor Radeleczki
Bulletin of the Section of Logic , 45 /3-4 (2016) s. 259-269