Obserwuj
Peter Jipsen
Tytuł
Cytowane przez
Cytowane przez
Rok
Residuated Lattices: an algebraic glimpse at substructural logics
N Galatos, P Jipsen, T Kowalski, H Ono
Elsevier Science, 2007
13742007
A Survey of Residuated Lattices
P Jipsen, C Tsinakis
Ordered algebraic structures: proceedings of the Gainesville conference …, 2002
419*2002
Cancellative residuated lattices
P Bahls, J Cole, N Galatos, P Jipsen, C Tsinakis
Algebra universalis 50 (1), 83-106, 2003
1462003
Varieties of lattices
P Jipsen, H Rose
Springer, 2006
1222006
Residuated frames with applications to decidability
N Galatos, P Jipsen
Transactions of the American Mathematical Society 365 (3), 1219-1249, 2013
1132013
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
552004
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
49*2014
Computer aided investigations of relation algebras
P Jipsen
Vanderbilt University, 1992
491992
Embedding theorems for classes of GBL-algebras
P Jipsen, F Montagna
Journal of Pure and Applied Algebra 214 (9), 1559-1575, 2010
412010
Generalizations of Boolean products for lattice-ordered algebras
P Jipsen
Annals of Pure and Applied Logic 161 (2), 228-234, 2009
382009
Domain and antidomain semigroups
J Desharnais, P Jipsen, G Struth
Relations and Kleene Algebra in Computer Science: 11th International …, 2009
382009
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
342016
Discriminator varieties of Boolean algebras with residuated operators
P Jipsen
Banach Center Publications 28 (1), 239-252, 1993
331993
P3‐isomorphisms for graphs
REL Aldred, MN Ellingham, RL Hemminger, P Jipsen
Journal of Graph Theory 26 (1), 35-51, 1997
271997
Structure theorems for idempotent residuated lattices
J Gil-Férez, P Jipsen, G Metcalfe
Algebra universalis 81 (2), 28, 2020
262020
Topological Duality and Lattice Expansions Part II: Lattice Expansions with Quasioperators
MA Moshier, P Jipsen
Algebra Universalis, accepted, 0
26*
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20