Concepedia

Wojciech Dzik

WD

7

Publications

128

Citations

7

H-Index

1973

Active since

Affiliations

University of Silesia in Katowice(Current)

Tokyo Denki University

Wojciech Dzik is an author at University of Silesia in Katowice specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningEngineeringFormal MethodsSemanticsFuzzy LogicLinguisticsComputer Science

Publications per year

1973–2016

7

Publications

7

Structural completeness of Gödel's and Dummett's propositional calculi

Wojciech Dzik, Andrzej Wroński · Studia Logica · 1973 · 28 citations

Engineering, Automated Reasoning, Propositional Logic +4

Almost structural completeness; an algebraic approach

Wojciech Dzik, Michał M. Stronkowski · Annals of Pure and Applied Logic · 2016 · 22 citations

Partially Ordered Set, Structural Completeness, Algebraic Structure +1

Intuitionistic propositional logic with Galois connections

Wojciech Dzik, Jouni Järvinen, Michiro Kondo · Logic Journal of IGPL · 2009 · 21 citations

Algebraic Logic, Non-classical Logic, Engineering +11

Unification in some substructural logics of BL-algebras and hoops

Wojciech Dzik · Reports on Mathematical Logic · 2008 · 18 citations

Algebraic Logic, Basic Logic, Fuzzy Logic +10

Representing expansions of bounded distributive lattices with Galois connections in terms of rough sets

Wojciech Dzik, Jouni Järvinen, Michiro Kondo · International Journal of Approximate Reasoning · 2013 · 16 citations · Full text

Rough Sets, Lattice (Order), Algebraic Combinatorics +5

Rows per page

1–5 of 7