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, 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, Chapter 1 Background Material, "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 (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, Algebra Universalis, 74(3) (2015), 253-264 doi:10.1007/s00012-015-0348-x

  41. P. Jipsen and M. A. Moshier, Concurrent Kleene algebra with tests and branching automata, Journal of Logical and Algebraic Methods in Programming, 85(4) (2016), 637-652 dx.doi.org/10.1016/j.jlamp.2015.12.005

  42. P. Jipsen and H. Rose, Varieties of Lattices, Chapter 1 in "Lattice Theory: Special Topics and Applications", eds. G. Grätzer and F. Wehrung, Springer, 2016, 1-26

  43. P. Jipsen, On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras, Soft Computing, 21(1) (2017), 17-27 dx.doi.org/10.1007/s00500-016-2345-1

  44. P. Jipsen, Relation algebras, idempotent semirings and generalized bunched implication algebras, in proceedings of the 16th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), May 15 - 19, 2017, ENS Lyon, France, Lecture Notes in Computer Science, Vol. 10226, Springer (2017), 144-158

  45. H. Andreka, S. Givant, P. Jipsen and I. Nemeti, On Tarski's axiomatic foundations of the calculus of relations (pdf), The Journal of Symbolic Logic, 82(3), (2017), 966-994

  46. N. Galatos and P. Jipsen, Distributive residuated frames and generalized bunched implication algebras, Algebra Universalis, 78(3), (2017), 303-336, doi.org/10.1007/s00012-017-0456-x,

  47. S. Alexander, P. Jipsen and N. Upegui, On the structure of generalized effect algebras and separation algebras, in proceedings of the 17th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Oct 29 - Nov 1, 2018, Open University, Groningen, Netherlands, Lecture Notes in Computer Science Vol 11194, Springer (2018), 148-165

  48. G. Greco, P. Jipsen, K. Manoorkar, A. Palmigiano and A. Tzimoulis, Logics for rough concept analysis, Md. A. Khan and A. Manuel (Eds.): ICLA 2019, Lecture Notes in Computer Science 11600, (2019) 144-159, doi.org/10.1007/978-3-662-58771-3_14

  49. P. Jipsen and M. Kinyon, Nonassociative right hoops, Algebra Universalis, 80, 47 (2019) 14p. doi.org/10.1007/s00012-019-0618-0

  50. W. Fussner and P. Jipsen, Distributive laws in residuated binars, Algebra Universalis, 80, 54 (2019) 13p. doi.org/10.1007/s00012-019-0625-1

  51. N. Galatos and P. Jipsen, The structure of generalized BI-algebras and weakening relation algebras, Algebra Universalis, (2020) 81: 35. doi.org/10.1007/s00012-020-00663-9

  52. N. Alpay and P. Jipsen, Commutative doubly-idempotent semirings determined by chains and by preorder forests, in proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Lecture Notes in Computer Science Vol 12062, Springer (2020), 1-14

  53. J. Gil-Ferez, P. Jipsen and G. Metcalfe, Structure theorems for idempotent residuated lattices, Algebra Universalis, 81, 28 (2020) 25p. doi.org/10.1007/s00012-020-00659-5

  54. N. Galatos and P. Jipsen, Weakening relation algebras and FL^2-algebras, in proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), Lecture Notes in Computer Science Vol 12062, Springer (2020), 117-133

  55. N. Galatos, P. Jipsen, M. Kinyon, A. Prenosil, Lattice-ordered pregroups are semi-distributive, Algebra Univers. 82, 16 (2021) doi.org/10.1007/s00012-020-00703-4

  56. P. Jipsen, M. E. Kurd-Misto and J. Wimberley, On the representation of Boolean magmas and Boolean semilattices, In: Madarász J., Székely G. (eds) Hajnal Andréka and István Németi on Unity of Science. Outstanding Contributions to Logic, vol 19. Springer, Cham., (2021), Ch 12, 289-312. doi.org/10.1007/978-3-030-64187-0_12

  57. P. Jipsen and S. Vannucci, Injective and projective semimodules over involutive semirings, Journal of Algebra and its Applications, (2021) doi.org/10.1142/S0219498822501821

  58. P. Jipsen, O. Tuyt and D. Valota, The structure of finite commutative idempotent involutive residuated lattices, Algebra Univers. 82, 57 (2021) doi.org/10.1007/s00012-021-00751-4

  59. N. Alpay, P. Jipsen and M. Sugimoto, Unary determined distributive l-magma and bunched implication algebras, in proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), U. Fahrenberg et al. (Eds.), Lecture Notes in Computer Science Vol 13027, Springer (2021), 19-36, doi.org/10.1007/978-3-030-88701-8_2

  60. W. Conradie, V. Goranko and P. Jipsen, Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras via an implementation of the algorithm PEARL, in proceedings of the 19th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), U. Fahrenberg et al. (Eds.), Lecture Notes in Computer Science Vol 13027, Springer (2021), 126-143, doi.org/10.1007/978-3-030-88701-8_8

  61. P. Jipsen and T. Litak, An algebraic glimpse at bunched implications and separation logic, in: Galatos, N., Terui, K. (eds) Hiroakira Ono on Substructural Logics. Outstanding Contributions to Logic, vol 23. Springer, Cham. 2022, doi.org/10.1007/978-3-030-76920-8_5

  62. P. Jipsen and J. B. Nation, Primitive lattice varieties, International Journal of Algebra and Computation. (2022) doi.org/10.1142/S021819672250031X

  63. M. Abbadini, P. Jipsen, T. Kroupa and S. Vannucci, A finite axiomatization of positive MV-algebras, Algebra Universalis. 83, 28 (2022). doi.org/10.1007/s00012-022-00776-3

  64. J. Gil-Férez, P. Jipsen and S. Lodhia, The structure of locally integral involutive po-monoids and semirings, in proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), R. Glück et al. (Eds.), Lecture Notes in Computer Science Vol 13896, Springer (2023), 69-86, doi.org/10.1007/978-3-031-28083-2_5

  65. P. Jipsen and J. Semrl, Representable and diagonally representable weakening relation algebras, in proceedings of the 20th International Conference on Relational and Algebraic Methods in Computer Science (RAMiCS), R. Glück et al. (Eds.), Lecture Notes in Computer Science Vol 13896, Springer (2023), 140-157, doi.org/10.1007/978-3-031-28083-2_9

  66. G. Greco, P. Jipsen, F. Liang, A. Palmigiano, A. Tzimoulis, Algebraic Proof Theory for LE-logics, ACM Transactions on Computational Logic, 25(1) 2024 6, pp 1-37 doi.org/10.1145/3632526

  67. N. Alpay, P. Jipsen and M. Sugimoto, Varieties of unary-determined distributive l-magmas and bunched implication algebras, Logical Methods in Computer Science, 20(1) 1:12, 2024, pp 1-22 doi.org/10.46298/lmcs-20(1:12)2024

Edited Volumes

Google Scholar citations to my publications (click on the number in the "Cited by" column)

ResearchGate profile --- Chapman Digital Commons