×

zbMATH — the first resource for mathematics

Jipsen, Peter

Compute Distance To:
Author ID: jipsen.peter Recent zbMATH articles by "Jipsen, Peter"
Published as: Jipsen, P.; Jipsen, Peter
Documents Indexed: 56 Publications since 1989, including 4 Books

Publications by Year

Citations contained in zbMATH Open

41 Publications have been cited 784 times in 585 Documents Cited by Year
Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira
361
2007
A survey of residuated lattices. Zbl 1070.06005
Jipsen, P.; Tsinakis, C.
118
2002
Cancellative residuated lattices. Zbl 1092.06012
Bahls, P.; Cole, J.; Galatos, N.; Jipsen, P.; Tsinakis, C.
44
2003
On the structure of generalized BL-algebras. Zbl 1109.06011
Jipsen, P.; Montagna, F.
31
2006
Residuated frames with applications to decidability. Zbl 1285.03077
Galatos, Nikolaos; Jipsen, Peter
26
2013
Varieties of lattices. Zbl 0779.06005
Jipsen, Peter; Rose, Henry
25
1992
The Blok-Ferreirim theorem for normal GBL-algebras and its application. Zbl 1192.06011
Jipsen, P.; Montagna, F.
21
2009
Algebraic aspects of cut elimination. Zbl 1064.03014
Belardinelli, Francesco; Jipsen, Peter; Ono, Hiroakira
13
2004
Embedding theorems for classes of GBL-algebras. Zbl 1192.06012
Jipsen, P.; Montagna, F.
11
2010
Adjoining units to residuated Boolean algebras. Zbl 0831.06007
Jipsen, P.; Jónsson, B.; Rafter, J.
10
1995
From semirings to residuated Kleene lattices. Zbl 1045.03049
Jipsen, Peter
9
2004
\(P_ 3\)-isomorphisms for graphs. Zbl 0884.05065
Aldred, R. E. L.; Ellingham, M. N.; Hemminger, R. L.; Jipsen, P.
9
1997
Discriminator varieties of Boolean algebras with residuated operators. Zbl 0794.06012
Jipsen, Peter
9
1993
Varieties of lattices. Zbl 1380.06004
Jipsen, P.; Rose, H.
8
2016
Topological duality and lattice expansions. I: A topological construction of canonical extensions. Zbl 1307.06002
Moshier, M. Andrew; Jipsen, Peter
8
2014
Domain and antidomain semigroups. Zbl 1267.03067
Desharnais, Jules; Jipsen, Peter; Struth, Georg
8
2009
Distributive residuated frames and generalized bunched implication algebras. Zbl 1420.03139
Galatos, Nikolaos; Jipsen, Peter
7
2017
Generating all finite modular lattices of a given size. Zbl 1322.05009
Jipsen, Peter; Lawless, Nathan
6
2015
Absolute retracts and amalgamation in certain congruence distributive varieties. Zbl 0686.08010
Jipsen, Peter; Rose, Henry
6
1989
Topological duality and lattice expansions. II: Lattice expansions with quasioperators. Zbl 1307.06003
Moshier, M. Andrew; Jipsen, Peter
5
2014
Generalizations of Boolean products for lattice-ordered algebras. Zbl 1181.06005
Jipsen, P.
5
2009
The variety generated by order algebras. Zbl 1058.08001
Freese, R.; Ježek, J.; Jipsen, P.; Marković, P.; Maróti, M.; McKenzie, R.
5
2002
A note on complex algebras of semigroups. Zbl 1093.20029
Jipsen, Peter
4
2004
Logics for rough concept analysis. Zbl 07150816
Greco, Giuseppe; Jipsen, Peter; Manoorkar, Krishna; Palmigiano, Alessandra; Tzimoulis, Apostolos
3
2019
On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras. Zbl 1386.06015
Jipsen, Peter
3
2017
Concurrent Kleene algebra with tests. Zbl 1345.68139
Jipsen, Peter
3
2014
On some properties of quasi-MV algebras and \(\sqrt{\prime}\) quasi-MV algebras. IV. Zbl 1291.06002
Jipsen, Peter; Ledda, Antonio; Paoli, Francesco
3
2013
Periodic lattice-ordered pregroups are distributive. Zbl 1259.06018
Galatos, Nikolaos; Jipsen, Peter
3
2012
Relation algebras, idempotent semirings and generalized bunched implication algebras. Zbl 06750820
Jipsen, Peter
2
2017
Concurrent Kleene algebra with tests and branching automata. Zbl 1344.68083
Jipsen, Peter; Moshier, M. Andrew
2
2016
Relation algebras as expanded FL-algebras. Zbl 1322.03047
Galatos, Nikolaos; Jipsen, Peter
2
2013
A survey of generalized Basic Logic algebras. Zbl 1225.03092
Galatos, Nikolaos; Jipsen, Peter
2
2009
The structure of the one-generated free domain semiring. Zbl 1140.68041
Jipsen, Peter; Struth, Georg
2
2008
Absolute retracts as reduced products. Zbl 0995.08003
Jenner, M.; Jipsen, P.; Ouwehand, P.; Rose, H.
2
2001
Nonrepresentable sequential algebras. Zbl 0882.03061
Jipsen, Peter; Maddux, Roger D.
2
1997
Nonassociative right hoops. Zbl 07123189
Jipsen, Peter; Kinyon, Michael
1
2019
Categories of algebraic contexts equivalent to idempotent semirings and domain semirings. Zbl 1364.68337
Jipsen, Peter
1
2012
Background material to: “Relational methods in computer science”. Zbl 0879.08006
Jipsen, Peter; Brink, Chris; Schmidt, Gunther
1
1997
Total tense algebras and symmetric semiassociative relation algebras. Zbl 0836.08004
Jipsen, P.; Kramer, R. L.; Maddux, R. D.
1
1995
Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\). Zbl 0816.03034
Jipsen, P.; Maddux, R. D.; Tuza, Z.
1
1995
Minimal relation algebras. Zbl 0815.03040
Jipsen, P.; Lukács, E.
1
1994
Logics for rough concept analysis. Zbl 07150816
Greco, Giuseppe; Jipsen, Peter; Manoorkar, Krishna; Palmigiano, Alessandra; Tzimoulis, Apostolos
3
2019
Nonassociative right hoops. Zbl 07123189
Jipsen, Peter; Kinyon, Michael
1
2019
Distributive residuated frames and generalized bunched implication algebras. Zbl 1420.03139
Galatos, Nikolaos; Jipsen, Peter
7
2017
On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras. Zbl 1386.06015
Jipsen, Peter
3
2017
Relation algebras, idempotent semirings and generalized bunched implication algebras. Zbl 06750820
Jipsen, Peter
2
2017
Varieties of lattices. Zbl 1380.06004
Jipsen, P.; Rose, H.
8
2016
Concurrent Kleene algebra with tests and branching automata. Zbl 1344.68083
Jipsen, Peter; Moshier, M. Andrew
2
2016
Generating all finite modular lattices of a given size. Zbl 1322.05009
Jipsen, Peter; Lawless, Nathan
6
2015
Topological duality and lattice expansions. I: A topological construction of canonical extensions. Zbl 1307.06002
Moshier, M. Andrew; Jipsen, Peter
8
2014
Topological duality and lattice expansions. II: Lattice expansions with quasioperators. Zbl 1307.06003
Moshier, M. Andrew; Jipsen, Peter
5
2014
Concurrent Kleene algebra with tests. Zbl 1345.68139
Jipsen, Peter
3
2014
Residuated frames with applications to decidability. Zbl 1285.03077
Galatos, Nikolaos; Jipsen, Peter
26
2013
On some properties of quasi-MV algebras and \(\sqrt{\prime}\) quasi-MV algebras. IV. Zbl 1291.06002
Jipsen, Peter; Ledda, Antonio; Paoli, Francesco
3
2013
Relation algebras as expanded FL-algebras. Zbl 1322.03047
Galatos, Nikolaos; Jipsen, Peter
2
2013
Periodic lattice-ordered pregroups are distributive. Zbl 1259.06018
Galatos, Nikolaos; Jipsen, Peter
3
2012
Categories of algebraic contexts equivalent to idempotent semirings and domain semirings. Zbl 1364.68337
Jipsen, Peter
1
2012
Embedding theorems for classes of GBL-algebras. Zbl 1192.06012
Jipsen, P.; Montagna, F.
11
2010
The Blok-Ferreirim theorem for normal GBL-algebras and its application. Zbl 1192.06011
Jipsen, P.; Montagna, F.
21
2009
Domain and antidomain semigroups. Zbl 1267.03067
Desharnais, Jules; Jipsen, Peter; Struth, Georg
8
2009
Generalizations of Boolean products for lattice-ordered algebras. Zbl 1181.06005
Jipsen, P.
5
2009
A survey of generalized Basic Logic algebras. Zbl 1225.03092
Galatos, Nikolaos; Jipsen, Peter
2
2009
The structure of the one-generated free domain semiring. Zbl 1140.68041
Jipsen, Peter; Struth, Georg
2
2008
Residuated lattices. An algebraic glimpse at substructural logics. Zbl 1171.03001
Galatos, Nikolaos; Jipsen, Peter; Kowalski, Tomasz; Ono, Hiroakira
361
2007
On the structure of generalized BL-algebras. Zbl 1109.06011
Jipsen, P.; Montagna, F.
31
2006
Algebraic aspects of cut elimination. Zbl 1064.03014
Belardinelli, Francesco; Jipsen, Peter; Ono, Hiroakira
13
2004
From semirings to residuated Kleene lattices. Zbl 1045.03049
Jipsen, Peter
9
2004
A note on complex algebras of semigroups. Zbl 1093.20029
Jipsen, Peter
4
2004
Cancellative residuated lattices. Zbl 1092.06012
Bahls, P.; Cole, J.; Galatos, N.; Jipsen, P.; Tsinakis, C.
44
2003
A survey of residuated lattices. Zbl 1070.06005
Jipsen, P.; Tsinakis, C.
118
2002
The variety generated by order algebras. Zbl 1058.08001
Freese, R.; Ježek, J.; Jipsen, P.; Marković, P.; Maróti, M.; McKenzie, R.
5
2002
Absolute retracts as reduced products. Zbl 0995.08003
Jenner, M.; Jipsen, P.; Ouwehand, P.; Rose, H.
2
2001
\(P_ 3\)-isomorphisms for graphs. Zbl 0884.05065
Aldred, R. E. L.; Ellingham, M. N.; Hemminger, R. L.; Jipsen, P.
9
1997
Nonrepresentable sequential algebras. Zbl 0882.03061
Jipsen, Peter; Maddux, Roger D.
2
1997
Background material to: “Relational methods in computer science”. Zbl 0879.08006
Jipsen, Peter; Brink, Chris; Schmidt, Gunther
1
1997
Adjoining units to residuated Boolean algebras. Zbl 0831.06007
Jipsen, P.; Jónsson, B.; Rafter, J.
10
1995
Total tense algebras and symmetric semiassociative relation algebras. Zbl 0836.08004
Jipsen, P.; Kramer, R. L.; Maddux, R. D.
1
1995
Small representations of the relation algebra \(\mathcal E_{n+1}(1,2,3)\). Zbl 0816.03034
Jipsen, P.; Maddux, R. D.; Tuza, Z.
1
1995
Minimal relation algebras. Zbl 0815.03040
Jipsen, P.; Lukács, E.
1
1994
Discriminator varieties of Boolean algebras with residuated operators. Zbl 0794.06012
Jipsen, Peter
9
1993
Varieties of lattices. Zbl 0779.06005
Jipsen, Peter; Rose, Henry
25
1992
Absolute retracts and amalgamation in certain congruence distributive varieties. Zbl 0686.08010
Jipsen, Peter; Rose, Henry
6
1989
all top 5

Cited by 491 Authors

22 Galatos, Nikolaos
19 Dvurečenskij, Anatolij
17 Jipsen, Peter
17 Rachůnek, Jiří
16 Tsinakis, Constantine
16 Vychodil, Vilém
15 Paoli, Francesco
14 Chajda, Ivan
14 Montagna, Franco
13 Cintula, Petr
12 Kowalski, Tomasz Marek
12 Raftery, James G.
11 Ledda, Antonio
11 Moraschini, Tommaso
11 Ono, Hiroakira
11 Šalounová, Dana
10 Ciabattoni, Agata
10 Horčík, Rostislav
10 Noguera, Carles
10 Vetterlein, Thomas
9 Andréka, Hajnal
9 Kühr, Jan
8 Buszkowski, Wojciech
8 Georgescu, George
8 Metcalfe, George
8 Mikulás, Szabolcs
8 Palmigiano, Alessandra
7 Bělohlávek, Radim
7 Busaniche, Manuela
7 Jenei, Sándor
7 Mureşan, Claudia
7 Terui, Kazushige
6 Agliano, Paolo
6 Bezhanishvili, Nick
6 Bianchi, Matteo
6 Botur, Michal
6 Ciungu, Lavinia Corina
6 Font, Josep Maria
6 Gil-Férez, José
6 Länger, Helmut M.
6 Olson, Jeffrey S.
6 Rasouli, Saeed
6 Torrens Torrell, Antoni
6 Wehrung, Friedrich
5 Aguzzoli, Stefano
5 Castiglioni, José Luis
5 Esteva, Francesc
5 Godo, Lluís
5 Jansana, Ramon
5 Németi, István
5 Rivieccio, Umberto
5 Spinks, Matthew
5 van Alten, Clint J.
5 Yang, Eunsuk
4 Bezhanishvili, Guram
4 Cignoli, Roberto
4 Citkin, Alex
4 Conradie, Willem J.
4 Fussner, Wesley
4 Halaš, Radomír
4 Jackson, Marcel G.
4 Kondo, Michiro
4 Ouwehand, Peter
4 Paseka, Jan
4 Rose, Henry
4 Salibra, Antonino
4 Santocanale, Luigi
4 Schwidefsky, Marina V.
4 Struth, Georg
4 Ugolini, Sara
4 Wannenburg, Johann J.
4 Zhao, Bin
3 Balbuena, Camino
3 Baldi, Paolo
3 Bonzio, Stefano
3 Borumand Saeid, Arsham
3 Bova, Simone
3 Brunet, Paul
3 Cabrer, Leonardo Manuel
3 Castaño, Diego N.
3 Celani, Sergio Arturo
3 Chen, Wenjuan
3 Chvalovský, Karel
3 Diaconescu, Răzvan
3 Díaz Varela, José Patricio
3 Dudek, Wiesław Aleksander
3 González, Luciano Javier
3 Guido, Cosimo
3 Han, Shengwei
3 Haniková, Zuzana
3 Hartonas, Chrysafis
3 Hirsch, Robin
3 Höhle, Ulrich
3 Holliday, Wesley H.
3 Kohonen, Jukka
3 Li, Qingguo
3 Litak, Tadeusz
3 Moshier, M. Andrew
3 Pym, David J.
3 Suzuki, Tomoyuki
...and 391 more Authors
all top 5

Cited in 76 Serials

67 Algebra Universalis
64 Fuzzy Sets and Systems
52 Soft Computing
43 Studia Logica
28 Annals of Pure and Applied Logic
23 Information Sciences
19 Archive for Mathematical Logic
15 The Review of Symbolic Logic
14 Order
12 Journal of Pure and Applied Algebra
12 Mathematica Slovaca
12 Journal of Logical and Algebraic Methods in Programming
10 Journal of Algebra
10 International Journal of Approximate Reasoning
9 The Journal of Symbolic Logic
8 Semigroup Forum
8 Mathematical Logic Quarterly (MLQ)
7 Czechoslovak Mathematical Journal
7 International Journal of Algebra and Computation
6 International Journal of Theoretical Physics
6 Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica
6 Journal of Philosophical Logic
6 Theoretical Computer Science
5 Transactions of the American Mathematical Society
5 Logical Methods in Computer Science
4 Journal of Logic, Language and Information
4 Journal of Applied Non-Classical Logics
4 Journal of Multiple-Valued Logic and Soft Computing
4 Journal of Applied Logic
4 Logica Universalis
3 Communications in Algebra
3 Discrete Mathematics
3 Central European Journal of Mathematics
3 Iranian Journal of Fuzzy Systems
3 Asian-European Journal of Mathematics
3 Afrika Matematika
2 Discrete Applied Mathematics
2 International Journal of General Systems
2 Advances in Mathematics
2 Journal of Computer and System Sciences
2 Notre Dame Journal of Formal Logic
2 Synthese
2 Bulletin of the Section of Logic
2 Bulletin of the Iranian Mathematical Society
2 Information and Computation
2 Applied Categorical Structures
2 The Journal of Logic and Algebraic Programming
2 Journal of Intelligent and Fuzzy Systems
2 ACM Transactions on Computational Logic
2 Foundations of Physics
2 Symmetry
1 Journal of Mathematical Analysis and Applications
1 Journal of Mathematical Physics
1 Periodica Mathematica Hungarica
1 Reports on Mathematical Physics
1 Annals of the Institute of Statistical Mathematics
1 International Journal of Mathematics and Mathematical Sciences
1 Proceedings of the American Mathematical Society
1 Quaestiones Mathematicae
1 European Journal of Combinatorics
1 Advances in Applied Mathematics
1 Science of Computer Programming
1 Circuits, Systems, and Signal Processing
1 Graphs and Combinatorics
1 Annals of Operations Research
1 Indagationes Mathematicae. New Series
1 The Australasian Journal of Combinatorics
1 The Bulletin of Symbolic Logic
1 Annals of Mathematics and Artificial Intelligence
1 Journal of Discrete Mathematical Sciences & Cryptography
1 Foundations of Science
1 Annales Henri Poincaré
1 Topological Algebra and its Applications
1 Journal of Algebra and Related Topics
1 Open Mathematics
1 Transactions of A. Razmadze Mathematical Institute

Citations by Year