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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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