Uniwersytet Śląski
40-007 Katowice, ul. Bankowa 14

tel/fax (032) 2582976

Wojciech Dzik

Published papers

Unification types in logic,  Wydawnictwo Uniwersytetu Śląskiego, Katowice 2007,  ISSN 0208-6336, ISBN 978-83-226-1717-5 (book), 

Math. Rev. 2412037,  Zbl 1148.03003

A.  Papers in scientific journals and books

1Structural Completeness of Godel's and Dummett's  propositional calculi, co-autor A.Wroński,  Studia Logica XXXII, 1973,  pp. 69 –75,  (Math. Review) MR 0347579
2.   On structural completeness of some nonclassical predicate calculi, Reports on Mathematical  Logic No.5, 1975, pp. 19 - 26, MR 0497935,
3On distributivity of closure systems, współautor R. Suszko, Bulletin of  the Section of Logic Pol. Acad. Sci., vol.6, n.2, 1977,  pp. 64 - 66,
MR 0552646,

4On the content of lattices of logics, Part I. The representation theorem for lattices of     logic. Reports on Mathematical Logic No. 13, 1981, pp.17-28, MR 0657328,
5The existence of Lindenbaum extensions is equivalent to the axiom of choice,  Reports  on Mathematical  Logic No.13, 1981, pp. 29 - 31, MR 0657329,
6On the content of lattices of logics, Part II.,  Reports on Mathematical  Logic No.14, 1982, p.29-47,  MR 0671025,
7Invariant matrix consequences,  co-autor M. Tokarz, Reports on Mathematical Logic No. 18, 1984,  pp. 37- 43, MR 0787217,
8On some lattices adequate for intuitionistic predicate logic, in: K. Hałkowska, B.Stawski (eds) Universal and Applied Algebra, Proceedings of the V Universal Algebra  Symposium, World Scientific Co., Singapore, New Jersey,  London 1989, pp. 81- 86 , ISBN 9971-50-837-0,  MR 1084395, Zbl 0742.03025
9.   Lattices adequate for Intuitionistic Predicate Logic, in:  P. Petkov (ed.) Mathematical  Logic,  Proc.of  the Conference HEYTING 88 Chaika/Varna,  PLENUM PRESS, New York  London, 1990, p.293-297 , ISBN 0-306-43511-X, MR 1084001, Zbl 0779.03002
10 Formulas true in the lattice of ideals of a Boolean algebra,  Abstracts of Logic Colloquium Berlin, Journal of Symbolic Logic vol. 57, N.1, 1992,  p. 294,
11 O zawartości kraty  ideałów przeliczalnych algebr Boole’a,  Prace Naukowe WSP w Częstochowie, Matematyka V,Częstochowa 1997 pp 17– 21,
12Extensions of the Grzegorczyk logic determined by some countable Boolean algebras,  Prace Naukowe WSP w Częstochowie, Matematyka VI,  Częstochowa, 1999, pp. 8 - 20, MR 2008637,  
13. Certain modal logics obtained from countable superatomic Boolean algebras. (in Polish:  Logiki modalne wyznaczone przez przeliczalne superatomowe algebry Boole’a),  Acta Universitatis Wratislaviensis No. 2180, LOGIKA, tom 19, Wydawnictwo Uniwersytetu Wrocławskiego,  1999 (Wrocław), pp. 5 – 13, Zbl 1023.03013
14O logikach abstrakcyjnych Suszki i pewnych ich zastosowaniach, in:  M. Omyła  (red.),   Idee Logiczne Romana Suszki,  Wydział  Filozofii i Socjologii Uniwersytetu Warszawskiego, Warszawa 2001,  pp. 161-173, ISBN 83 87963-10-0,
15.   Unitary Unification of S5 Modal Logic and its Extensions, Bulletin of the Section of Logic vol. 32/1, 2003, pp.19 – 26, MR 1978863 (2004d:03034), Zbl 1039.03009   MR 1978863
16Chains of Structurally Complete Predicate Logics, Reports on Mathematical Logic, vol. 38, 2004, pp. 37-48, MR2077465,  Zbl 1058.03013,  
17Relational Representation Theorems for General Lattices with Negations co-autors E. Orłowska, Clint van Alten,  in: Relations and Kleene Algebra in Computer Science, Springer Lecture Notes in Computer Science (LNCS), vol.4136, Springer 2006,  pp.162 – 176, MR 2281599, Zbl1135.06003
18Splittings of Lattices of Theories and Unification Types,  CONTRIBUTIONS to GENERAL ALGEBRA  17,  Proceedings of the Vienna Conference 2005 (AAA 70),  Verlag Johannes Heyn,  Klagenfurt 2006,  pp.71- 81,   MR 2237807, Zbl 1109.06008
19Relational Representation Theorems for Lattices with Negations: a Surveyco-autors  E. Orłowska, Clint van Alten,  in: H.C.M. de Swart, e.a. (eds.)  TARSKI: Theory and Applications of  Relational Structures as  Knowledge Instruments II.,  Springer Lecture Notes in Computer Science (LNCS) vol. 4342, Springer 2006,  pp. 247 – 268, Zbl 1177.06006   
20Transparent Unifiers in Modal Logics with Self-Conjugate Operators, Bulletin of the Section of Logic 35/2-3, 2006,  pp. 73 – 84, MR2278149,   Zbl 1133.03321   
21. Unification in Some Substructural Logics of BL-algebras and Hoops, Reports on Mathematical Logic,  vol. 43, 2008, pp.73 – 83. MR2417723, Zbl 1156.03022
22. Intuitionistic Propositional Logic with Galois Connections   co-autors Jouni Jarvinen, Michiro Kondo, Logic Journal of the IGPL (Oxford),  vol. 18, No. 6, 2010,  pp.837-858; doi:10.1093/jigpal/jzp057,  published online on October 20, 2009, Zbl 1221.03012 MR 2733946
Remarks on Projective Unifiers, Bulletin of the Section of Logic, vol.40 , 1/2, (2011), pp. 37-46MR2839732,
24. Projective Unification in Modal Logicco-author P. Wojtylak, Logic Journal of the IGPL (Oxford) (2012) 20(1): 121-153,  First published online: June 6, 2011 doi: 10.1093/jigpal/jzr028, Zbl 06062910  MR2876975
25.  Intuitionistic Modal  Logic with a Galois Connection has the Finite Model Property co-autors: Jouni Jarvinen, Michiro Kondo, Logic Journal of the IGPL (Oxford), 21 (2): 199-204.  First published online on April 24, 2012, doi:10.1093/jigpal/jzs016 Zbl pre06174090,  MR 3041532,
26Rozmaitość Typów Unifikacji w logikach niefregowskich   (Variety of unification types in non-fregean logics) in: J.Golińska-Pilarek, A. Wójtowicz  (eds.)  Identyczność znaku czy znak identyczności ? (Identity of sign or sign of identity?),  Wydawnictwa Uniwersytetu Warszawskiego, Warszawa  2012,  ISBN 978- 83-235-0990-5,  pp. 117 – 130, 
27.  Representing Expansions of Bounded Distributive Lattices with Galois Connections in Terms of Rough Sets  co-autors: Jouni Jarvinen, Michiro Kondo,  International Journal of Approximate Reasoning,   55 (1): 427-435.  First published online on July 2013 ,  Zbl,  MR,
28.  Characterizing intermediate tense logics in terms of Galois connections, co-autors Jouni Jarvinen, Michiro Kondo, Logic Journal of the IGPL, (2014) 22  (6):  992-1018  Zbl,  MR,
29.   Unifiability in Relation Algebras and in Products of S5co-author B.Wróbel,   Bulletin of the Section of Logic 44/1-2, 2015,  pp. 1 – 14,    Zbl,  MR,
30. Almost structurally complete infinitary consequence operations extending S4.3, co-autor P. Wojtylak  Logic Journal of the IGPL  (2015) 23 (4): 640-661 first published online May 31, 2015 doi:10.1093/jigpal/jzv024, Zbl ,  MR ,

In printing (accepted):

31Modal consequence relations extending S4.3. An application of projective unification. co-author P. Wojtylak, Notre Dame Journal of  Formal Logic (2016) :  First published online:
32. Direct Product of l-algebras and Unification. An Application to Residuated Lattices, 
co-author Sandor Radeleczki,   Journal of Multiple-Valued Logic and Soft Computing 2016

MR = Mathematical Reviews,  Zbl = Zentralblatt fur Mathematik

B. Papers and Abstracts in Volums of Abstracts in International Conferences and  Congresses,

and Miscellaneous

33   Lattices of  theories as strongly characteristic models for the intuitionistic propositional calculus,  Abstracts of the 7th International Congress of Logic, Methodology & Philosophy  of Science, Salzburg, Vol,1,  p. 16,  Huttegger Org, 1983,
34.   Formulas true in the lattice of ideals of a Boolean algebra,  Abstracts of Logic Colloquium in Berlin,  p. 40, Berlin 1989,
35.  Cantor-Bendixson derivative and superintuitionistic logic,  Abstracts of Third  logical biannial KLEENE '90, Chaika/Varna 1990,
36.  Admissibility and Derivability of Rules in Predicate Logic,  w: J.Cuchro, K.Kijania-Placek (eds.), 11th International Congress of Logic, Methodology and Philosophy of Science, Volume of Abstracts,  Cracow 1999, p.59,  ISBN 83 91 2252-0-8,
37.  On Structural completeness of some intermediate and modal predicate logics,  Abstracts of  the 6th Barcelona LOGIC MEETING, pp.20-21, Centre de Recerca Matematica, Barcelona 2000,
38.  Zastosowanie unifikacji w systemach logicznych, Abstrakty VII Polskiego Zjazdu Filozoficznego, Szczecin, 14 – 18. 09 2004, pp. 262 – 263, Wydawnictwo Naukowe Uniwersytetu Szczecińskiego, Szczecin 2004, ISBN 83 7241-422-X,
39Unification in some polymodal logics, Topological and Algebraic Metods in Non-classical Logics III, Oxford, 5-9 August, 2007, Volume of Abstracts, pp.14, Oxford 2007.
40.  Logiki niefregowskie i ich typy unifikacji , Księga streszczeń VIII Polskiego Zjazdu Filozoficznego, Warszawa, 15 – 20. 09 2008, pp. 186 – 187, Wydawnictwo Naukowe Semper, Warszawa 2008, ISBN 978837 507041-5,
41. Unification and Slices in Intermediate and Some Modal Logics, in : TACL'09 Topology, Algebra and Categories in Logic, Amsterdam July  7 - 11, 2009, Abstr. of Contributed Talks, pp.21-22, Universiteit van Amsterdam,
42. Projective unication in modal logic I,   Workshop on Admissible Rules and Unification, Booklet of  Abstracts, R.Iemhoff and G. Metcalfe (editors) Utrecht University, 26-28 May 2011,
43. Projective Unifiers in Modal Logic, (with P.Wojtylak), Proceedings of UNIF 2011, 25th International Workshop on Unification, CADE 23, 23-rd International Conference in Automated Deduction , F.Baader, B.Morawska, J.Otop (editors),  University of Wrocław, 31 July-5 August 2011, pp.21 - 27.
44. Consequence relations extending modal logic S4.3  (with P.Wojtylak), Abstracts of Workshop on Algebra and Coalgebra meet Proof Theory,  Utrecht University  April 18-20, 2013 pp.21 - 27.
45Regułowe rozszerzenia logik Diodorowskich  (Inferential extensions of Diodoren logics), co-author P. Wojtylak, in: J.Juchnowski, R.Wiszniowski (eds.) Wspołczesna teoria i praktyka badań społecznych i humanistycznych, Uniwersytet Wrocławski,  Wydawnictwo Adam Marszałek, Wrocław 2013,  ISBN 978- 83-7780-708-8,  pp. 34 – 43, 
46. Almost structural completeness; an algebraic approach  (with M. Stronkowski), Proceedings of 6th conference on Topology,
Algebra and Categories in Logic (TACL 2013), Vanderbilt University, Nashville, Tennessee, July 28 - August 1, 2013,
pp.61 - 63.
47.  Almost structurally complete consequence operations extending S4.3, (with P.Wojtylak),  Vienna Summer of Logic 2014, Brochure, pp.106 -107
48.  Admissible rules and almost structural completeness in some first-order modal logics(with P.Wojtylak), Vienna Summer of Logic 2014, Brochure, pp.167 - 170.
49. Projective Unification in Intermediate and Modal Predicate Logic (with P. Wojtylak), Booklet of the conference  Topology, Algebra and Categories in Logic (TACL 2015),  Ischia, Italy, 21- 26 June , 2015, pp.95 - 97.

In preparation

 - Almost structural completeness; an algebraic approach  (with M. Stronkowski),
- Logics with Two Galois Connections,