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

tel/fax (032) 2582976
e-mail:im@ux2.math.us.edu.pl


Wojciech Dzik

Prace opublikowane

Monografia
Unification types in logic,  Wydawnictwo Uniwersytetu Śląskiego, Katowice 2007,  ISSN 0208-6336, ISBN 978-83-226-1717-5 (książka),   Math. Rev. 2412037,  Zbl 1148.03003
A.  Publikacje w czasopismach naukowych i książkach

1.  Structural 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,
3.  On 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,
4.  On 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,
5.  The existence of Lindenbaum extensions is equivalent to the axiom of choice,  Reports  on Mathematical  Logic No.13, 1981, pp. 29 - 31, MR 0657329,
6.  On the content of lattices of logics, Part II.,  Reports on Mathematical  Logic No.14, 1982, p.29-47,  MR 0671025,
7.  Invariant matrix consequences,  co-autor M. Tokarz, Reports on Mathematical Logic No. 18, 1984,  pp. 37- 43, MR 0787217,
8.  On 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,
12.  Extensions 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
14.  O 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
16.   s, Reports on Mathematical Logic, vol. 38, 2004, pp. 37-48, MR2077465,  Zbl 1058.03013,  
17. Relational 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   http://www.springerlink.com/content/43q196730hv84l72
18.  Splittings 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
19.  Relational Representation Theorems for Lattices with Negations: a Survey, co-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   
20.  Transparent 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, 
23.  Remarks on Projective Unifiers, Bulletin of the Section of Logic, vol.40 , 1/2, (2011), pp. 37-46, MR2839732, 
24. Projective Unification in Modal Logic, co-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,
 26.  Rozmaitość Typów Unifikacji w logikach niefregowskich   w książce: J.Golińska-Pilarek, A. Wójtowicz  (redakcja)  "Identyczność znaku czy znak identyczności ?" Księga Jubileuszowa dedykowana Prof. M. Omyle,  Wydawnictwa Uniwersytetu Warszawskiego, Warszawa  2012, ISBN 978- 83-235-0990-5,  str. 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  http://dx.doi.org/10.1016/j.ijar.2013.07.005 ,  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 S5, co-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 ,
31.  Modal 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.Preserving Filtering Unification by Adding Compatible Operations to Some Heyting Algebras
co-author Sandor Radeleczki, Bulletin of the Section of Logic (2016)  45(3-4)
33. Almost structural completeness; an algebraic approach, co-autor M. Stronkowski, Annals of Pure and Applied Logic 167(7) (2016) . 525-556
34. Direct Product of l-algebras and Unification. An Application to Residuated Lattices, 
co-author Sandor Radeleczki,   Journal of Multiple-Valued Logic and Soft Computing (2017), vol.28, no.2 -3,  217-249,
35. Unification in superintuitionistic predicate logics and its applications co-autor P. Wojtylak, The Review of Symbolic Logic, Cambridge, (2019) vol. 12(1), 37-61.
36. Unification in first-order transitive modal logics,  co-autor P. Wojtylak,  Logic Journal of the IGPL (2019) published online in 2019.
37. On the semilattice of modal operators and decompositions of the discriminator, co-authors Ivo Duentsch, Ewa Orłowska, In Hajnal Andréka and István Németi on unity of science: from computing to relativity theory through algebraic logic, in Outstanding Contributions to Logic. Springer Verlag, 2019.  (in printing)
MR = Mathematical Reviews,  Zbl = Zentralblatt fur Mathemat




B. Publikacje w tomach abstraktów ważniejszych konferencji międzynarodowych i kongresów i inne publikacje

38   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,
39.   Formulas true in the lattice of ideals of a Boolean algebra,  Abstracts of Logic Colloquium in Berlin,  p. 40, Berlin 1989,
40.  Cantor-Bendixson derivative and superintuitionistic logic,  Abstracts of Third  logical biannial KLEENE '90, Chaika/Varna 1990,
41.  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,
42.  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,
43.  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,
44.  Unification 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.
45.  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,
46. 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, 2009.
47. 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, pp.9-10.
48. 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.
49. 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.
50.  Reguł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, 
51. 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.
52.  Almost structurally complete consequence operations extending S4.3, with P.Wojtylak,  Vienna Summer of Logic 2014, Brochure, pp.106 -107
53.  Admissible rules and almost structural completeness in some first-order modal logics, with P.Wojtylak, Vienna Summer of Logic 2014, Brochure, pp.167 - 170.
54. Projective Unification in Intermediate and Modal Predicate Logic , with P. Wojtylak, slides, see also Booklet of the conference  Topology, Algebra and Categories in Logic (TACL 2015),  Ischia, Italy, 21- 26 June , 2015, pp.95 - 97.

Prace w przygotowaniu

 . Ideal algebras and their logics  co-author Ivo Duentsch, 2019 (in preparation)
.  Two level   co-author Ivo Duentsch, 2019 (in preparation)
-

[ZAKŁAD LOGIKI]  [STRUKTURA]  [INSTYTUT MATEMATYKI]

[STRONA GŁÓWNA]  [CV]  [PUBLIKACJE]  [BADANIA]  [DYDAKTYKA]