Residuated Lattices: an algebraic glimpse at substructural logics N Galatos, P Jipsen, T Kowalski, H Ono Elsevier Science | 431 | ∗ | 2007 |

A Survey of Residuated Lattices P Jipsen, C Tsinakis Ordered algebraic structures: proceedings of the Gainesville conference ... | 251 | | 2002 |

Cancellative residuated lattices P Bahls, J Cole, N Galatos, P Jipsen, C Tsinakis Algebra Universalis 50 (1), 83-106 | 86 | | 2003 |

Varieties of lattices P Jipsen, H Rose Springer-Verlag | 63 | | 1992 |

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

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

On the structure of generalized BL-algebras P Jipsen, F Montagna Algebra Universalis 55 (2-3), 227-238 | 30 | | 2006 |

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

Computer aided investigations of relation algebras P Jipsen Vanderbilt University | 28 | | 1992 |

The Blok–Ferreirim theorem for normal GBL-algebras and its application P Jipsen, F Montagna Algebra universalis 60 (4), 381-404 | 21 | | 2009 |

Discriminator varieties of Boolean algebras with residuated operators P Jipsen Rauszer [32], 239-252 | 21 | ∗ | 1993 |

P3‐isomorphisms for graphs REL Aldred, MN Ellingham, RL Hemminger, P Jipsen Journal of Graph Theory 26 (1), 35-51 | 19 | | 1997 |

Domain and antidomain semigroups J Desharnais, P Jipsen, G Struth Relations and Kleene algebra in computer science, 73-87 | 13 | | 2009 |

General Lattice Theory. 2003 G Grätzer, BA Davey, R Freese, B Ganter, M Greferath, P Jipsen, ... Birkhäuser | 13 | | |

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

Nonrepresentable sequential algebras P Jipsen, RD Maddux Logic Journal of IGPL 5 (4), 565-574 | 12 | | 1997 |

ASCIIMathML: Math on the web for everyone P Jipsen Accessed via http://www1. chapman. edu/~ jipsen/mathml/asciimath. html (7 ... | 10 | ∗ | 2005 |

ASciencePad–a TiddlyWiki suitable for scientific notes P Jipsen Accessed via http://math. chapman. edu/~ jipsen/asciencepad/asciencepad ... | 9 | | 2006 |

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

Adjoining units to residuated Boolean algebras P Jipsen, B Jónsson, J Rafter algebra universalis 34 (1), 118-127 | 7 | | 1995 |