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
11842007
A Survey of Residuated Lattices
P Jipsen, C Tsinakis
Ordered algebraic structures: proceedings of the Gainesville conference …, 2002
402*2002
Cancellative residuated lattices
P Bahls, J Cole, N Galatos, P Jipsen, C Tsinakis
Algebra Universalis 50 (1), 83-106, 2003
1362003
Varieties of lattices
P Jipsen, H Rose
Springer, 2006
1102006
Residuated frames with applications to decidability
N Galatos, P Jipsen
Transactions of the American Mathematical Society 365 (3), 1219-1249, 2013
1032013
Algebraic aspects of cut elimination
F Belardinelli, P Jipsen, H Ono
Studia Logica 77 (2), 209-240, 2004
762004
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 (2), 291-303, 2004
512004
The Blok–Ferreirim theorem for normal GBL-algebras and its application
P Jipsen, F Montagna
Algebra Universalis 60 (4), 381-404, 2009
492009
Computer aided investigations of relation algebras
P Jipsen
Vanderbilt University, 1992
441992
Topological duality and lattice expansions, I: A topological construction of canonical extensions
MA Moshier, P Jipsen
Algebra universalis 71 (2), 109-126, 2014
42*2014
Embedding theorems for classes of GBL-algebras
P Jipsen, F Montagna
Journal of Pure and Applied Algebra 214 (9), 1559-1575, 2010
372010
Discriminator varieties of Boolean algebras with residuated operators
P Jipsen
Banach Center Publications 28 (1), 239-252, 1993
35*1993
Distributive residuated frames and generalized bunched implication algebras
N Galatos, P Jipsen
Algebra universalis 78 (3), 303-336, 2017
332017
Domain and antidomain semigroups
J Desharnais, P Jipsen, G Struth
International Conference on Relational Methods in Computer Science, 73-87, 2009
332009
Generalizations of Boolean products for lattice-ordered algebras
P Jipsen
Annals of Pure and Applied Logic 161 (2), 228-234, 2009
312009
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
252016
P3‐isomorphisms for graphs
REL Aldred, MN Ellingham, RL Hemminger, P Jipsen
Journal of Graph Theory 26 (1), 35-51, 1997
251997
Logics for rough concept analysis
G Greco, P Jipsen, K Manoorkar, A Palmigiano, A Tzimoulis
Indian Conference on Logic and Its Applications, 144-159, 2019
202019
Topological Duality and Lattice Expansions Part II: Lattice Expansions with Quasioperators
MA Moshier, P Jipsen
Algebra Universalis, accepted, 0
20*
The system can't perform the operation now. Try again later.
Articles 1–20