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

  30. N. Galatos and P. Jipsen, A survey of Generalized Basic Logic algebras, in "Witnessed Years: Essays in Honour of Petr Hajek", ed. P. Cintula, Z. Hanikova, V. Svejdar, College Publications, 2009, 305-331

  31. P. Jipsen and F. Montagna, Embedding theorems for classes of GBL-algebras, Journal of Pure and Applied Algebra, 214 (2010), 1559-1575

  32. N. Galatos and P. Jipsen, Periodic lattice-ordered pregroups are distributive, Algebra Universalis, 68(1-2) (2012), 145-150

  33. P. Jipsen, Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings, in proceedings of the 13th International Conference on Relational and Algebraic Methods in Computer Science, Cambridge, UK, Sept 17-21, 2012, Timothy G. Griffin and Wolfram Kahl (Eds.), Lecture Notes in Computer Science, Vol. 7560, Springer-Verlag (2012), 195-206

  34. N. Galatos and P. Jipsen, Residuated frames with applications to decidability, Transactions of the American Mathematical Society, 365 (2013), 1219-1249

  35. N. Galatos and P. Jipsen, Relation algebras as expanded FL-algebras, Algebra Universalis, 69(1) (2013), 1-21

  36. P. Jipsen, A. Ledda and F. Paoli, On some properties of quasi-MV algebras and √'quasi-MV algebras, Part IV, Reports on Mathematical Logic, 48 (2013), 3-36

  37. M. A. Moshier and P. Jipsen, Topological Duality and Lattice Expansions Part I: A Topological Construction of Canonical Extensions, Algebra Universalis, 71(2) (2014), 109-126

  38. P. Jipsen, Concurrent Kleene algebras with tests, in proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, Marienstatt, Germany, April 28-May 1, 2014, Lecture Notes in Computer Science, Vol. 8428, Springer-Verlag (2014), 37-48

  39. M. A. Moshier and P. Jipsen, Topological Duality and Lattice Expansions Part II: Lattice Expansions with Quasioperators, Algebra Universalis, 71(3) (2014), 221-234

  40. P. Jipsen and N. Lawless, Generating all finite modular lattices of a given size, to appear in Algebra Universalis

Edited Volumes


Google Scholar citations to my publications (click on the number in the "Cited by" column)
Microsoft Academic Search cititations --- ResearchGate profile