Peter Jipsen's research publications

Dissertation

Books

  1. P. Jipsen and H. Rose, "Varieties of Lattices", Lecture Notes in Mathematics, Vol. 1533, Springer-Verlag, 1992, x+162 pages

  2. N. Galatos, P. Jipsen, T. Kowalski and H. Ono, "Residuated Lattices: An Algebraic Glimpse at Substructural Logics", Studies in Logic and the Foundations of Mathematics, Vol. 151, Elsevier, 532 pages, April 2007

Papers

  1. P. Jipsen and H. Rose, Absolute retracts and amalgamation in certain congruence distributive varieties, Canad. Math. Bull., 32(3) (1989), 309-313

  2. P. Jipsen and H. Rose, Ultraproducts of atomic Boolean algebras, Bull. Korean Math. Soc., 27(1) (1990), 19-26

  3. P. Jipsen and E. Lukacs, Representability of finite simple relation algebras with many identity atoms, in "Algebraic Logic" (Proc. Conf. Budapest 1988), ed. by H. Andreka, J.D. Monk, and I. Nemeti, Colloq. Math. Soc. J. Bolyai, Vol. 54, North-Holland, Amsterdam, 1991, 241-244

  4. P. Jipsen, Discriminator varieties of Boolean algebras with residuated operators (ps), in "Algebraic Logic", Banach Center Publication, Vol. 28, Institute of Math., Polish Academy of Sciences, Warszawa, 1993, 239-252

  5. P. Jipsen and E. Lukacs, Minimal relation algebras, Algebra Universalis, 32, (1994), 189-203

  6. P. Jipsen, R. D. Maddux and Z. Tuza, Small representations of the relation algebra En+1(1, 2, 3), Algebra Universalis, 33 (1995), 136-139

  7. P. Jipsen, B. Jónsson and J. Rafter, Adjoining units to residuated Boolean algebras, Algebra Universalis, 34 (1995), 118-127

  8. P. Jipsen, R. L. Kramer and R. D. Maddux, Total tense algebras and symmetric semiassociative relation algebras, Algebra Universalis, 34 (1995), 404-423

  9. R. E. L. Aldred, M. N. Ellingham, R. L. Hemminger and P. Jipsen, P3-isomorphisms for graphs, Journal of Graph Theory, 26 (1997), 35-51

  10. C. Brink, P. Jipsen and G. Schmidt, Introduction: basic concepts and results, Chapter 1, "Relational Methods in Computer Science", Advances in Computing Science, Springer-Verlag, 1997, 1-21

  11. P. Jipsen and R. D. Maddux, Nonrepresentable sequential algebras, Journal of the IGPL, 5(4) (1997), 565-574

  12. P. Jipsen and H. Rose, Varieties of Lattices, Appendix in "General Lattice Theory", G. Grätzer, second edition, Birkhäuser Verlag, 1998

  13. P. Jipsen and H. Rose, Partition complete Boolean algebras and almost compact cardinals, Mathematical Logic Quarterly, 45(2) (1999), 241-255

  14. M. Jenner, P. Jipsen, P. Ouwehand, H. Rose, Absolute retracts as reduced products, Questiones Mathematicae, 24(2) (2001), 129-132

  15. P. Jipsen, A. Pinus and H. Rose, Rudin-Keisler posets of complete Boolean algebras, Mathematical Logic Quarterly, 47(4) (2001), 447-454

  16. R. Freese, J. Jezek, P. Jipsen, P. Markovic, M. Maroti and R. McKenzie, The variety generated by order algebras, Algebra Universalis, 47 (2002), 103-138

  17. P. Jipsen and C. Tsinakis, A survey of residuated lattices (ps), in "Ordered Algebraic Structures" (J. Martinez, editor), Kluwer Academic Publishers, Dordrecht, 2002, 19-56

  18. P. Bahls, J. Cole, N. Galatos, P. Jipsen and C. Tsinakis, Cancellative residuated lattices (ps), Algebra Universalis, 50(1) (2003), 83-106

  19. P. Jipsen, An overview of generalized basic logic algebras, Neural Network World, 13(5) (2003), 491-500

  20. P. Jipsen, A note on complex algebras of semigroups, in "Relational and Kleene-Algebraic Methods in Computer Science" (ed. R. Berghammer, B. Möller, G. Struth), Lecture Notes in Computer Science, Vol. 3051, Springer-Verlag (2004), 171-177

  21. P. Jipsen, From semirings to residuated Kleene lattices, Studia Logica 76(2) (2004), 291-303

  22. F. Belardinelli, P. Jipsen and H. Ono, Algebraic aspects of cut elimination, Studia Logica, 77(2) (2004), 209-240

  23. P. Jipsen and A. Kisielewicz, Minimal expansions of semilattices, International Journal of Algebra and Computation, 14(4) (2004), 465-477

  24. P. Jipsen, Representable sequential algebras and observation spaces, Journal on Relational Methods in Computer Science, 1 (2004), 235-250

  25. P. Jipsen and F. Montagna, On the structure of generalized BL-algebras, Algebra Universalis, 55 (2006), 226-237

  26. P. Jipsen and G. Struth, The structure of the one-generated free domain semiring, in "Relations and Kleene Algebra in Computer Science" (ed. R. Berghammer, B. Möller, G. Struth), Lecture Notes in Computer Science, Vol. 4988, Springer-Verlag (2008), 234-242

  27. P. Jipsen and F. Montagna, The Blok-Ferreirim theorem for normal GBL-algebras and its application, Algebra Universalis, 60, (2009), 381-404

  28. J. Desharnais, P. Jipsen and G. Struth, Domain and antidomain semigroups, in ``Relations and Kleene Algebra in Computer Science'', R. Berghammer et al. (Eds.), Lecture Notes in Computer Science, Vol. 5827, Springer-Verlag (2009), 73-87

  29. P. Jipsen, Generalizations of Boolean products for lattice-ordered algebras, Annals of Pure and Applied Logic, 161 (2009), 228-234