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.  Chains of Structurally Complete Predicate Logics, 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
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 Mathematik

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.