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

A Survey of Residuated Lattices P Jipsen, C Tsinakis Ordered algebraic structures: proceedings of the Gainesville conference ... | 249 | | 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 | 62 | | 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 | 27 | | 2013 |

Computer aided investigations of relation algebras P Jipsen Vanderbilt University | 27 | | 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 | 20 | ∗ | 1993 |

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

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

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

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

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

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

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

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

Residuated lattices N Galatos, P Jipsen, T Kowalski, H Ono An Algebraic Glimpse At Substructural Logics. Elsevier, Amsterdam | 7 | | 2007 |