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 03475792. 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.0301314. 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/43q196730hv84l7218.
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 MR287697525. Intuitionistic Modal Logic with a Galois Connection has the Finite Model Property co-autors: Jouni Jarvinen, Michiro Kondo, Logic Journal of the IGPL (Oxford), (2013)
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
(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, (2014) 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 Mathematik