-
Remarks on Projective Unifiers Opublikowano w: Bulletin of the Section of Logic 2011 / Tom 40 / Numer 1-2 / s. 37 - 462011CZYSTY TEKST
Wojciech Dzik, Remarks on Projective Unifiers, Bulletin of the Section of Logic, 2011 / Tom 40 / Numer 1-2, s. 37 - 46
BIBTEX@Article{ authors = " Wojciech Dzik", title = "Remarks on Projective Unifiers", journal = "Bulletin of the Section of Logic", issue = "2011 / Tom 40 / Numer 1-2", pages = "37 - 46" }
-
Unitary Unification of S5 Modal Logic and its Extensions Opublikowano w: Bulletin of the Section of Logic 2003 / Tom 32 / Numer 1-2 / s. 19 - 262003CZYSTY TEKST
Wojciech Dzik, Unitary Unification of S5 Modal Logic and its Extensions, Bulletin of the Section of Logic, 2003 / Tom 32 / Numer 1-2, s. 19 - 26
BIBTEX@Article{ authors = " Wojciech Dzik", title = "Unitary Unification of S5 Modal Logic and its Extensions", journal = "Bulletin of the Section of Logic", issue = "2003 / Tom 32 / Numer 1-2", pages = "19 - 26" }
-
On distributivity of closure systems Opublikowano w: Bulletin of the Section of Logic 1977 / Tom 6 / Numer 2 / s. 64 - 661977CZYSTY TEKST
Wojciech Dzik, Roman Suszko, On distributivity of closure systems, Bulletin of the Section of Logic, 1977 / Tom 6 / Numer 2, s. 64 - 66
BIBTEX@Article{ authors = " Wojciech Dzik, Roman Suszko", title = "On distributivity of closure systems", journal = "Bulletin of the Section of Logic", issue = "1977 / Tom 6 / Numer 2", pages = "64 - 66" }
-
Unifiability in Relation Algebras and in Products of S5 Opublikowano w: Bulletin of the Section of Logic 2015 / Tom 44 / Numer 1-2 / s. 1 - 142015CZYSTY TEKST
Wojciech Dzik, Beniamin Wróbel, Unifiability in Relation Algebras and in Products of S5, Bulletin of the Section of Logic, 2015 / Tom 44 / Numer 1-2, s. 1 - 14
BIBTEX@Article{ authors = " Wojciech Dzik, Beniamin Wróbel", title = "Unifiability in Relation Algebras and in Products of S5", journal = "Bulletin of the Section of Logic", issue = "2015 / Tom 44 / Numer 1-2", pages = "1 - 14" }
-
Preserving Filtering Unification By Adding Compatible Operations To Some Heyting Algebras Opublikowano w: Bulletin of the Section of Logic 2016 / Tom 45 / Numer 3-4 / s. 259 - 2692016CZYSTY TEKST
Wojciech Dzik, Sandor Radeleczki, Preserving Filtering Unification By Adding Compatible Operations To Some Heyting Algebras, Bulletin of the Section of Logic, 2016 / Tom 45 / Numer 3-4, s. 259 - 269
BIBTEX@Article{ authors = " Wojciech Dzik, Sandor Radeleczki", title = "Preserving Filtering Unification By Adding Compatible Operations To Some Heyting Algebras", journal = "Bulletin of the Section of Logic", issue = "2016 / Tom 45 / Numer 3-4", pages = "259 - 269" }
-
Transparent Unifiers in Modal Logics with Self-Conjugate Operators Opublikowano w: Bulletin of the Section of Logic 2006 / Tom 35 / Numer 2-3 / s. 73 - 832006CZYSTY TEKST
Wojciech Dzik, Transparent Unifiers in Modal Logics with Self-Conjugate Operators, Bulletin of the Section of Logic, 2006 / Tom 35 / Numer 2-3, s. 73 - 83
BIBTEX@Article{ authors = " Wojciech Dzik", title = "Transparent Unifiers in Modal Logics with Self-Conjugate Operators", journal = "Bulletin of the Section of Logic", issue = "2006 / Tom 35 / Numer 2-3", pages = "73 - 83" }
