Chains of Structurally Complete Predicate Logics with the Application of Prucnal's Substitution. - Wojciech Dzik (Reports Math. Log., 2004)

Relational Representation Theorems for General Lattices with Negations. - Wojciech Dzik; Ewa Orlowska; Clint J. van Alten (RelMiCS, 2006)

Relational Representation Theorems for Lattices with Negations: A Survey. - Wojciech Dzik; Ewa Orlowska; Clint J. van Alten (Theory and Applications of Relational Structures as Knowledge Instruments, 2006)

Unification in some substructural logics of BL-algebras and hoops. - Wojciech Dzik (Reports Math. Log., 2008)

Intuitionistic propositional logic with Galois connections. - Wojciech Dzik; Jouni Järvinen; Michiro Kondo (Log. J. IGPL, 2010)

Projective Unifiers in Modal Logics. - Wojciech Dzik; Piotr Wojtylak (UNIF, 2011)

Projective unification in modal logic. - Wojciech Dzik; Piotr Wojtylak (Log. J. IGPL, 2012)

Intuitionistic modal logic with a galois connection has the finite model property1. - Wojciech Dzik; Jouni Järvinen; Michiro Kondo (Log. J. IGPL, 2013)

Characterizing intermediate tense logics in terms of Galois connections. - Wojciech Dzik; Jouni Järvinen; Michiro Kondo (Log. J. IGPL, 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., 2014)

Almost structurally complete infinitary consequence operations extending S4.3. - Wojciech Dzik; Piotr Wojtylak (Log. J. IGPL, 2015)

Unification in predicate logic. - Wojciech Dzik; Piotr Wojtylak (UNIF, 2016)

Almost structural completeness; an algebraic approach. - Wojciech Dzik; Michal M. Stronkowski (Ann. Pure Appl. Log., 2016)

Modal Consequence Relations Extending S4.3: An Application of Projective Unification. - Wojciech Dzik; Piotr Wojtylak (Notre Dame J. Formal Log., 2016)

Direct Product of ℓ-Algebras and Unification: An Application to Residuated Lattices. - Wojciech Dzik; Sándor Radeleczki (J. Multiple Valued Log. Soft Comput., 2017)

Unification in first-order transitive modal logic. - Wojciech Dzik; Piotr Wojtylak (Log. J. IGPL, 2019)

Unification in superintuitionistic Predicate Logics and its Applications. - Wojciech Dzik; Piotr Wojtylak (Rev. Symb. Log., 2019)

Ideal Related Algebras and Their Logics Extended Abstract. - Ivo Düntsch; Wojciech Dzik (CLAR, 2020)

Ideal related algebras and their logics. - Ivo Düntsch; Wojciech Dzik (J. Log. Comput., 2021)

Finitary unification in locally tabular modal logics characterized. - Wojciech Dzik; Slawomir Kost; Piotr Wojtylak (Ann. Pure Appl. Log., 2022)

The fork and its role in unification of closure algebras. - Ivo Düntsch; Wojciech Dzik (CoRR, 2023)

Unification types and union splittings in intermediate logics. - Wojciech Dzik; Slawomir Kost; Piotr Wojtylak (Ann. Pure Appl. Log., 2025)