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
10712007
A Survey of Residuated Lattices
P Jipsen, C Tsinakis
Ordered algebraic structures: proceedings of the Gainesville conference …, 2002
380*2002
Cancellative residuated lattices
P Bahls, J Cole, N Galatos, P Jipsen, C Tsinakis
Algebra Universalis 50 (1), 83-106, 2003
1222003
Varieties of lattices
P Jipsen, H Rose
Springer, 2006
97*2006
Residuated frames with applications to decidability
N Galatos, P Jipsen
Transactions of the American Mathematical Society 365 (3), 1219-1249, 2013
932013
Algebraic aspects of cut elimination
F Belardinelli, P Jipsen, H Ono
Studia Logica 77 (2), 209-240, 2004
662004
On the structure of generalized BL-algebras
P Jipsen, F Montagna
Algebra Universalis 55 (2), 227-238, 2006
592006
From semirings to residuated Kleene lattices
P Jipsen
Studia Logica 76 (2), 291-303, 2004
492004
The Blok–Ferreirim theorem for normal GBL-algebras and its application
P Jipsen, F Montagna
Algebra Universalis 60 (4), 381-404, 2009
442009
Computer aided investigations of relation algebras
P Jipsen
Vanderbilt University, 1992
401992
Discriminator varieties of Boolean algebras with residuated operators
P Jipsen
Banach Center Publications 28 (1), 239-252, 1993
34*1993
Topological duality and lattice expansions, I: A topological construction of canonical extensions
MA Moshier, P Jipsen
Algebra universalis 71 (2), 109-126, 2014
31*2014
Embedding theorems for classes of GBL-algebras
P Jipsen, F Montagna
Journal of Pure and Applied Algebra 214 (9), 1559-1575, 2010
312010
Domain and antidomain semigroups
J Desharnais, P Jipsen, G Struth
International Conference on Relational Methods in Computer Science, 73-87, 2009
282009
Distributive residuated frames and generalized bunched implication algebras
N Galatos, P Jipsen
Algebra universalis 78 (3), 303-336, 2017
252017
Generalizations of Boolean products for lattice-ordered algebras
P Jipsen
Annals of Pure and Applied Logic 161 (2), 228-234, 2009
252009
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
18*
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
172016
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
162019
The system can't perform the operation now. Try again later.
Articles 1–20