Wojciech Dzik

Publication Activity (10 Years)

Years Active: 2004-2023
Publications (10 Years): 10

Top Topics

Inference Rules

Top Venues

Ann. Pure Appl. Log.

Int. J. Approx. Reason.

Publications

Ivo Düntsch, Wojciech Dzik
The fork and its role in unification of closure algebras. CoRR (2023)
Wojciech Dzik, Slawomir Kost, Piotr Wojtylak
Finitary unification in locally tabular modal logics characterized. Ann. Pure Appl. Log. 173 (4) (2022)
Ivo Düntsch, Wojciech Dzik
Ideal related algebras and their logics. J. Log. Comput. 31 (8) (2021)
Ivo Düntsch, Wojciech Dzik
Ideal Related Algebras and Their Logics Extended Abstract. CLAR (2020)
Wojciech Dzik, Piotr Wojtylak
Unification in superintuitionistic Predicate Logics and its Applications. Rev. Symb. Log. 12 (1) (2019)
Wojciech Dzik, Piotr Wojtylak
Unification in first-order transitive modal logic. Log. J. IGPL 27 (5) (2019)
Wojciech Dzik, Sándor Radeleczki
Direct Product of ℓ-Algebras and Unification: An Application to Residuated Lattices. J. Multiple Valued Log. Soft Comput. 28 (2-3) (2017)
Wojciech Dzik, Piotr Wojtylak
Unification in predicate logic. UNIF (2016)
Wojciech Dzik, Piotr Wojtylak
Modal Consequence Relations Extending S4.3: An Application of Projective Unification. Notre Dame J. Formal Log. 57 (4) (2016)
Wojciech Dzik, Michal M. Stronkowski
Almost structural completeness; an algebraic approach. Ann. Pure Appl. Log. 167 (7) (2016)
Wojciech Dzik, Piotr Wojtylak
Almost structurally complete infinitary consequence operations extending S4.3. Log. J. IGPL 23 (4) (2015)
Wojciech Dzik, Michal M. Stronkowski
Almost structural completeness; an algebraic approach. CoRR (2014)
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. Int. J. Approx. Reason. 55 (1) (2014)
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
Characterizing intermediate tense logics in terms of Galois connections. Log. J. IGPL 22 (6) (2014)
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
. Log. J. IGPL 21 (2) (2013)
Wojciech Dzik, Michal M. Stronkowski
Almost structural completeness; an algebraic approach. TACL (2013)
Wojciech Dzik, Piotr Wojtylak
Projective unification in modal logic. Log. J. IGPL 20 (1) (2012)
Wojciech Dzik, Piotr Wojtylak
Projective Unifiers in Modal Logics. UNIF (2011)
Wojciech Dzik, Jouni Järvinen, Michiro Kondo
Intuitionistic propositional logic with Galois connections. Log. J. IGPL 18 (6) (2010)
Wojciech Dzik
Unification in some substructural logics of BL-algebras and hoops. Reports Math. Log. 43 (2008)
Wojciech Dzik, Ewa Orlowska, Clint J. van Alten
Relational Representation Theorems for General Lattices with Negations. RelMiCS (2006)
Wojciech Dzik
Chains of Structurally Complete Predicate Logics with the Application of Prucnal's Substitution. Reports Math. Log. 38 (2004)