Wojciech Dzik

dblp:06/4179 · DBLP profile ↗

← Back

6ranked-venue papers

4as first author

4since 2021 · last 2025

0000-0003-4242-3418ORCID · verified

Theory of computation · 5 · 3 first-author · 4 since 2021Artificial intelligence and machine learning · 1 · 1 first-author

Year	Publication	Venue	Position
2025	Unification types and union splittings in intermediate logics Wojciech Dzik, Slawomir Kost, Piotr Wojtylak	Ann. Pure Appl. Log.	1
2024	The fork and its role in unification of closure algebras abstract We consider the two-pronged fork frame $F$ and the variety $\mathbf{Eq}(B_F)$ generated by its dual closure algebra $B_F$. We describe the finite projective algebras in $\mathbf{Eq}(B_F)$ and give a purely semantic proof that unification in $\mathbf{Eq}(B_F)$ is finitary and not unitary. Ivo Düntsch, Wojciech Dzik	Fundam. Informaticae	2
2022	Finitary unification in locally tabular modal logics characterized Wojciech Dzik, Slawomir Kost, Piotr Wojtylak	Ann. Pure Appl. Log.	1
2021	Ideal related algebras and their logics abstract Abstract We investigate modal algebras that generalize the unary discriminator into two directions related to an ideal of the algebra. It turns out that some classes lead to well-known logics, while others have not yet been explored. Ivo Düntsch, Wojciech Dzik	J. Log. Comput.	2
2016	Almost structural completeness; an algebraic approach Wojciech Dzik, Michal M. Stronkowski	Ann. Pure Appl. Log.	1
2014	Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets Wojciech Dzik, Jouni Järvinen, Michiro Kondo	Int. J. Approx. Reason.	1