Wojciech Dzik - RankMe

25 papers Journal 19Unranked 5

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Unification types and union splittings in intermediate logics. Ann. Pure Appl. Log. Wojciech Dzik, Slawomir Kost, Piotr Wojtylak
2024	J	`jnl`	The fork and its role in unification of closure algebras. Fundam. Informaticae Ivo Düntsch, Wojciech Dzik
2023	J	`jnl`	The fork and its role in unification of closure algebras. CoRR Ivo Düntsch, Wojciech Dzik
2022	J	`jnl`	Finitary unification in locally tabular modal logics characterized. Ann. Pure Appl. Log. Wojciech Dzik, Slawomir Kost, Piotr Wojtylak
2021	J	`jnl`	Ideal related algebras and their logics. J. Log. Comput. Ivo Düntsch, Wojciech Dzik
2020	—	`conf`	Ideal Related Algebras and Their Logics Extended Abstract. CLAR Ivo Düntsch, Wojciech Dzik
2019	J	`jnl`	Unification in first-order transitive modal logic. Log. J. IGPL Wojciech Dzik, Piotr Wojtylak
2019	J	`jnl`	Unification in superintuitionistic Predicate Logics and its Applications. Rev. Symb. Log. Wojciech Dzik, Piotr Wojtylak
2017	J	`jnl`	Direct Product of ℓ-Algebras and Unification: An Application to Residuated Lattices. J. Multiple Valued Log. Soft Comput. Wojciech Dzik, Sándor Radeleczki
2016	J	`jnl`	Almost structural completeness; an algebraic approach. Ann. Pure Appl. Log. Wojciech Dzik, Michal M. Stronkowski
2016	J	`jnl`	Modal Consequence Relations Extending S4.3: An Application of Projective Unification. Notre Dame J. Formal Log. Wojciech Dzik, Piotr Wojtylak
2016	—	`conf`	Unification in predicate logic. UNIF Wojciech Dzik, Piotr Wojtylak
2015	J	`jnl`	Almost structurally complete infinitary consequence operations extending S4.3. Log. J. IGPL Wojciech Dzik, Piotr Wojtylak
2014	J	`jnl`	Almost structural completeness; an algebraic approach. CoRR Wojciech Dzik, Michal M. Stronkowski
2014	J	`jnl`	Characterizing intermediate tense logics in terms of Galois connections. Log. J. IGPL Wojciech Dzik, Jouni Järvinen, Michiro Kondo
2014	J	`jnl`	Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets. Int. J. Approx. Reason. Wojciech Dzik, Jouni Järvinen, Michiro Kondo
2013	—	`conf`	Almost structural completeness; an algebraic approach. TACL Wojciech Dzik, Michal M. Stronkowski
2013	J	`jnl`	Intuitionistic modal logic with a galois connection has the finite model property Log. J. IGPL Wojciech Dzik, Jouni Järvinen, Michiro Kondo
2012	J	`jnl`	Projective unification in modal logic. Log. J. IGPL Wojciech Dzik, Piotr Wojtylak
2011	—	`conf`	Projective Unifiers in Modal Logics. UNIF Wojciech Dzik, Piotr Wojtylak
2010	J	`jnl`	Intuitionistic propositional logic with Galois connections. Log. J. IGPL Wojciech Dzik, Jouni Järvinen, Michiro Kondo
2008	J	`jnl`	Unification in some substructural logics of BL-algebras and hoops. Reports Math. Log. Wojciech Dzik
2006	—	`conf`	Relational Representation Theorems for General Lattices with Negations. RelMiCS Wojciech Dzik, Ewa Orlowska, Clint J. van Alten
2006	—	`ch.`	Relational Representation Theorems for Lattices with Negations: A Survey. Theory and Applications of Relational Structures as Knowledge Instruments Wojciech Dzik, Ewa Orlowska, Clint J. van Alten
2004	J	`jnl`	Chains of Structurally Complete Predicate Logics with the Application of Prucnal's Substitution. Reports Math. Log. Wojciech Dzik