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
12702007
A Survey of Residuated Lattices
P Jipsen, C Tsinakis
Ordered algebraic structures: proceedings of the Gainesville conference …, 2002
407*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
1072013
Algebraic aspects of cut elimination
F Belardinelli, P Jipsen, H Ono
Studia Logica 77, 209-240, 2004
752004
On the structure of generalized BL-algebras
P Jipsen, F Montagna
Algebra Universalis 55 (2-3), 227-238, 2006
662006
From semirings to residuated Kleene lattices
P Jipsen
Studia Logica 76, 291-303, 2004
532004
The Blok–Ferreirim theorem for normal GBL-algebras and its application
P Jipsen, F Montagna
Algebra universalis 60, 381-404, 2009
512009
Topological duality and lattice expansions, I: A topological construction of canonical extensions
MA Moshier, P Jipsen
Algebra universalis 71, 109-126, 2014
48*2014
Computer aided investigations of relation algebras
P Jipsen
Vanderbilt University, 1992
461992
Embedding theorems for classes of GBL-algebras
P Jipsen, F Montagna
Journal of Pure and Applied Algebra 214 (9), 1559-1575, 2010
402010
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
36*1993
Generalizations of Boolean products for lattice-ordered algebras
P Jipsen
Annals of Pure and Applied Logic 161 (2), 228-234, 2009
352009
Distributive residuated frames and generalized bunched implication algebras
N Galatos, P Jipsen
Algebra universalis 78 (3), 303-336, 2017
342017
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
282016
P3‐isomorphisms for graphs
REL Aldred, MN Ellingham, RL Hemminger, P Jipsen
Journal of Graph Theory 26 (1), 35-51, 1997
251997
Topological Duality and Lattice Expansions Part II: Lattice Expansions with Quasioperators
MA Moshier, P Jipsen
Algebra Universalis, accepted, 0
25*
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
222019
The system can't perform the operation now. Try again later.
Articles 1–20