Peter Jipsen's research publications

Dissertation

• P. Jipsen, "Computer-aided investigations of relation algebras", (Abstract), Mathematics Department Vanderbilt University, 1992, under the supervision of Bjarni Jonsson

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

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

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

5. 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

6. 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

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

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

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

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

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

12. 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

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

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

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

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

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

18. 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

19. 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

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

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

22. 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

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

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

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

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

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

28. 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

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

30. 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

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

32. 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

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

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

35. 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

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

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

38. M. A. Moshier and P. Jipsen, Topological Duality and Lattice Expansions Part I: A Topological Construction of Canonical Extensions, to appear in Algebra Universalis

39. P. Jipsen, A. Ledda and F. Paoli, On some properties of quasi-MV algebras and √'quasi-MV algebras, Part IV, accepted in Reports on Mathematical Logic

40. M. A. Moshier and P. Jipsen, Topological Duality and Lattice Expansions Part II: Lattice Expansions with Quasioperators, accepted in Algebra Universalis

Edited Volumes

41. N. Galatos, P. Jipsen and H. Ono, (eds), Preface, in Special Issue: Recent Developments related to Residuated Lattices and Substructural Logics, Studia Logica, Volume 100, Issue 6, 2012