Follow
Peter Jipsen
Title
Cited by
Cited by
Year
Residuated Lattices: an algebraic glimpse at substructural logics
N Galatos, P Jipsen, T Kowalski, H Ono
Elsevier Science, 2007
13252007
A Survey of Residuated Lattices
P Jipsen, C Tsinakis
Ordered algebraic structures: proceedings of the Gainesville conference …, 2002
410*2002
Cancellative residuated lattices
P Bahls, J Cole, N Galatos, P Jipsen, C Tsinakis
Algebra universalis 50 (1), 83-106, 2003
1422003
Varieties of lattices
P Jipsen, H Rose
Springer, 2006
1192006
Residuated frames with applications to decidability
N Galatos, P Jipsen
Transactions of the American Mathematical Society 365 (3), 1219-1249, 2013
1092013
Algebraic aspects of cut elimination
F Belardinelli, P Jipsen, H Ono
Studia Logica 77, 209-240, 2004
742004
On the structure of generalized BL-algebras
P Jipsen, F Montagna
Algebra Universalis 55 (2), 227-238, 2006
662006
From semirings to residuated Kleene lattices
P Jipsen
Studia Logica 76, 291-303, 2004
532004
Topological duality and lattice expansions, I: A topological construction of canonical extensions
MA Moshier, P Jipsen
Algebra universalis 71, 109-126, 2014
50*2014
The Blok–Ferreirim theorem for normal GBL-algebras and its application
P Jipsen, F Montagna
Algebra universalis 60, 381-404, 2009
502009
Computer aided investigations of relation algebras
P Jipsen
Vanderbilt University, 1992
451992
Embedding theorems for classes of GBL-algebras
P Jipsen, F Montagna
Journal of Pure and Applied Algebra 214 (9), 1559-1575, 2010
402010
Generalizations of Boolean products for lattice-ordered algebras
P Jipsen
Annals of Pure and Applied Logic 161 (2), 228-234, 2009
392009
Domain and antidomain semigroups
J Desharnais, P Jipsen, G Struth
Relations and Kleene Algebra in Computer Science: 11th International …, 2009
382009
Discriminator varieties of Boolean algebras with residuated operators
P Jipsen
Banach Center Publications 28 (1), 239-252, 1993
361993
Distributive residuated frames and generalized bunched implication algebras
N Galatos, P Jipsen
Algebra universalis 78 (3), 303-336, 2017
352017
Concurrent Kleene algebra with tests and branching automata
P Jipsen, MA Moshier
Journal of Logical and Algebraic Methods in Programming 85 (4), 637-652, 2016
292016
P3‐isomorphisms for graphs
REL Aldred, MN Ellingham, RL Hemminger, P Jipsen
Journal of Graph Theory 26 (1), 35-51, 1997
271997
Topological Duality and Lattice Expansions Part II: Lattice Expansions with Quasioperators
MA Moshier, P Jipsen
Algebra Universalis, accepted, 0
27*
Logics for rough concept analysis
G Greco, P Jipsen, K Manoorkar, A Palmigiano, A Tzimoulis
Logic and Its Applications: 8th Indian Conference, ICLA 2019, Delhi, India …, 2019
252019
The system can't perform the operation now. Try again later.
Articles 1–20