×

zbMATH — the first resource for mathematics

Dzik, Wojciech

Compute Distance To:
Author ID: dzik.wojciech Recent zbMATH articles by "Dzik, Wojciech"
Published as: Dzik, Wojciech
Documents Indexed: 32 Publications since 1973, including 1 Book

Publications by Year

Citations contained in zbMATH Open

24 Publications have been cited 90 times in 60 Documents Cited by Year
On distributivity of closure systems. Zbl 0403.03053
Dzik, Wojciech; Suszko, Roman
10
1977
Structural completeness of Gödel’s and Dummett’s propositional calculi. Zbl 0345.02036
Dzik, Wojciech; Wronski, Andrzej
10
1973
Projective unification in modal logic. Zbl 1260.03041
Dzik, Wojciech; Wojtylak, Piotr
6
2012
Unification types in logic. Zbl 1148.03003
Dzik, Wojciech
6
2007
Relational representation theorems for general lattices with negations. Zbl 1135.06003
Dzik, Wojciech; Orlowska, Ewa; van Alten, Clint
6
2006
Almost structural completeness; an algebraic approach. Zbl 1433.08003
Dzik, Wojciech; Stronkowski, Michał M.
5
2016
Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. Zbl 1316.06011
Dzik, Wojciech; Järvinen, Jouni; Kondo, Michiro
5
2014
Intuitionistic propositional logic with Galois connections. Zbl 1221.03012
Dzik, Wojciech; Järvinen, Jouni; Kondo, Michiro
5
2010
Remarks on projective unifiers. Zbl 1286.03038
Dzik, Wojciech
4
2011
Unification in some substructural logics of BL-algebras and hoops. Zbl 1156.03022
Dzik, Wojciech
4
2008
Splittings of lattices of theories and unification types. Zbl 1109.06008
Dzik, Wojciech
4
2006
Characterizing intermediate tense logics in terms of Galois connections. Zbl 1405.03069
Dzik, Wojciech; Järvinen, Jouni; Kondo, Michiro
3
2014
Chains of structurally complete predicate logics with the application of Prucnal’s substitution. Zbl 1058.03013
Dzik, Wojciech
3
2004
On the content of lattices of logics. II. Zbl 0526.03042
Dzik, Wojciech
3
1982
Modal consequence relations extending S4.3: an application of projective unification. Zbl 1403.03029
Dzik, Wojciech; Wojtylak, Piotr
2
2016
Transparent unifiers in modal logics with self-conjugate operators. Zbl 1133.03321
Dzik, Wojciech
2
2006
Unitary unification of S5 modal logic and its extensions. Zbl 1039.03009
Dzik, Wojciech
2
2003
On the content of lattices of logics. I. The representation theorem for lattices of logics. Zbl 0526.03041
Dzik, Wojciech
2
1981
The existence of Lindenbaum’s extensions is equivalent to the axiom of choice. Zbl 0492.03010
Dzik, Wojciech
2
1981
On structural completeness of some nonclassical predicate calculi. Zbl 0343.02038
Dzik, Wojciech
2
1975
Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\). Zbl 1405.03050
Dzik, Wojciech; Wojtylak, Piotr
1
2015
Intuitionistic modal logic with a Galois connection has the finite model property. Zbl 1283.03040
Dzik, Wojciech; Järvinen, Jouni; Kondo, Michiro
1
2013
Relational representation theorems for lattices with negations: A survey. Zbl 1177.06006
Dzik, Wojciech; Orłowska, Ewa; van Alten, Clint
1
2006
Lattices adequate for intuitionistic predicate logic. Zbl 0779.03002
Dzik, Wojciech
1
1990
Almost structural completeness; an algebraic approach. Zbl 1433.08003
Dzik, Wojciech; Stronkowski, Michał M.
5
2016
Modal consequence relations extending S4.3: an application of projective unification. Zbl 1403.03029
Dzik, Wojciech; Wojtylak, Piotr
2
2016
Almost structurally complete infinitary consequence operations extending \(\mathbf{S4.3}\). Zbl 1405.03050
Dzik, Wojciech; Wojtylak, Piotr
1
2015
Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. Zbl 1316.06011
Dzik, Wojciech; Järvinen, Jouni; Kondo, Michiro
5
2014
Characterizing intermediate tense logics in terms of Galois connections. Zbl 1405.03069
Dzik, Wojciech; Järvinen, Jouni; Kondo, Michiro
3
2014
Intuitionistic modal logic with a Galois connection has the finite model property. Zbl 1283.03040
Dzik, Wojciech; Järvinen, Jouni; Kondo, Michiro
1
2013
Projective unification in modal logic. Zbl 1260.03041
Dzik, Wojciech; Wojtylak, Piotr
6
2012
Remarks on projective unifiers. Zbl 1286.03038
Dzik, Wojciech
4
2011
Intuitionistic propositional logic with Galois connections. Zbl 1221.03012
Dzik, Wojciech; Järvinen, Jouni; Kondo, Michiro
5
2010
Unification in some substructural logics of BL-algebras and hoops. Zbl 1156.03022
Dzik, Wojciech
4
2008
Unification types in logic. Zbl 1148.03003
Dzik, Wojciech
6
2007
Relational representation theorems for general lattices with negations. Zbl 1135.06003
Dzik, Wojciech; Orlowska, Ewa; van Alten, Clint
6
2006
Splittings of lattices of theories and unification types. Zbl 1109.06008
Dzik, Wojciech
4
2006
Transparent unifiers in modal logics with self-conjugate operators. Zbl 1133.03321
Dzik, Wojciech
2
2006
Relational representation theorems for lattices with negations: A survey. Zbl 1177.06006
Dzik, Wojciech; Orłowska, Ewa; van Alten, Clint
1
2006
Chains of structurally complete predicate logics with the application of Prucnal’s substitution. Zbl 1058.03013
Dzik, Wojciech
3
2004
Unitary unification of S5 modal logic and its extensions. Zbl 1039.03009
Dzik, Wojciech
2
2003
Lattices adequate for intuitionistic predicate logic. Zbl 0779.03002
Dzik, Wojciech
1
1990
On the content of lattices of logics. II. Zbl 0526.03042
Dzik, Wojciech
3
1982
On the content of lattices of logics. I. The representation theorem for lattices of logics. Zbl 0526.03041
Dzik, Wojciech
2
1981
The existence of Lindenbaum’s extensions is equivalent to the axiom of choice. Zbl 0492.03010
Dzik, Wojciech
2
1981
On distributivity of closure systems. Zbl 0403.03053
Dzik, Wojciech; Suszko, Roman
10
1977
On structural completeness of some nonclassical predicate calculi. Zbl 0343.02038
Dzik, Wojciech
2
1975
Structural completeness of Gödel’s and Dummett’s propositional calculi. Zbl 0345.02036
Dzik, Wojciech; Wronski, Andrzej
10
1973

Citations by Year