Peter Jipsen

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 22

Top Topics

Universal Relation

Relation Algebra

Distributive Lattices

Temporal Reasoning

Top Venues

J. Log. Algebraic Methods Program.

Publications

Natanael Alpay, Peter Jipsen, Melissa Sugimoto
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras. Log. Methods Comput. Sci. 20 (1) (2024)
Stefano Bonzio, José Gil-Férez, Peter Jipsen, Adam Prenosil, Melissa Sugimoto
On the Structure of Balanced Residuated Partially Ordered Monoids. RAMiCS (2024)
Andrew Craig, Peter Jipsen, Claudette Robinson
Frames and Spaces for Distributive Quasi Relation Algebras and Distributive Involutive FL-Algebras. RAMiCS (2024)
Giuseppe Greco, Peter Jipsen, Fei Liang, Alessandra Palmigiano, Apostolos Tzimoulis
Algebraic Proof Theory for LE-logics. ACM Trans. Comput. Log. 25 (1) (2024)
José Gil-Férez, Peter Jipsen, Siddhartha Lodhia
The Structure of Locally Integral Involutive Po-monoids and Semirings. RAMiCS (2023)
Peter Jipsen, Jas Semrl
Representable and Diagonally Representable Weakening Relation Algebras. RAMiCS (2023)
Peter Jipsen, Jas Semrl
Representable and diagonally representable weakening relation algebras. CoRR (2023)
Peter Jipsen, James B. Nation
Primitive lattice varieties. Int. J. Algebra Comput. 32 (4) (2022)
Willem Conradie, Valentin Goranko, Peter Jipsen
Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL. RAMiCS (2021)
Natanael Alpay, Peter Jipsen, Melissa Sugimoto
Unary-Determined Distributive ℓ-magmas and Bunched Implication Algebras. RAMiCS (2021)
Willem Conradie, Valentin Goranko, Peter Jipsen
Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report). CoRR (2021)
Nikolaos Galatos, Peter Jipsen
-algebras. RAMiCS (2020)
Natanael Alpay, Peter Jipsen
Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests. RAMiCS (2020)
Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis
Logics for Rough Concept Analysis. ICLA (2019)
Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis
Logics for Rough Concept Analysis. CoRR (2018)
Sarah Alexander, Peter Jipsen, Nadiya Upegui
On the Structure of Generalized Effect Algebras and Separation Algebras. RAMiCS (2018)
Hajnal Andréka, Steven Givant, Peter Jipsen, István Németi
On Tarski's Axiomatic Foundations of the Calculus of Relations. J. Symb. Log. 82 (3) (2017)
Peter Jipsen, Tadeusz Litak
An Algebraic Glimpse at Bunched Implications and Separation Logic. CoRR (2017)
Peter Jipsen
On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras. Soft Comput. 21 (1) (2017)
Peter Jipsen
Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras. RAMiCS (2017)
Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller
Relational and algebraic methods in computer science. J. Log. Algebraic Methods Program. 85 (4) (2016)
Peter Jipsen, M. Andrew Moshier
Concurrent Kleene algebra with tests and branching automata. J. Log. Algebraic Methods Program. 85 (4) (2016)
Peter Jipsen
Concurrent Kleene Algebra with Tests. RAMiCS (2014)
Peter Jipsen, Antonio Ledda, Francesco Paoli
On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV. Reports Math. Log. 48 (2013)
Peter Jipsen
Basic Logic, SMT solvers and finitely generated varieties of GBL-algebras. TACL (2013)
Peter Jipsen
Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings. RAMiCS (2012)
Nikolaos Galatos, Peter Jipsen, Hiroakira Ono
Preface. Stud Logica 100 (6) (2012)
Peter Jipsen
Generalizations of Boolean products for lattice-ordered algebras. Ann. Pure Appl. Log. 161 (2) (2009)
Jules Desharnais, Peter Jipsen, Georg Struth
Domain and Antidomain Semigroups. RelMiCS (2009)
Peter Jipsen, Georg Struth
The Structure of the One-Generated Free Domain Semiring. RelMiCS (2008)
Francesco Belardinelli, Peter Jipsen, Hiroakira Ono
Algebraic Aspects of Cut Elimination. Stud Logica 77 (2) (2004)
Peter Jipsen
From Semirings to Residuated Kleene Lattices. Stud Logica 76 (2) (2004)
Peter Jipsen, Andrzej Kisielewicz
Minimal Expansions of Semilattices. Int. J. Algebra Comput. 14 (4) (2004)
Peter Jipsen
A Note on Complex Algebras of Semigroups. RelMiCS (2003)
Peter Jipsen, Alexander Pinus, Henry Rose
Rudin-Keisler Posets of Complete Boolean Algebras. Math. Log. Q. 47 (4) (2001)
Peter Jipsen
Some Results about Complex Algebras of Algebras. RelMiCS (2000)
Peter Jipsen, Henry Rose
Partition Complete Boolean Algebras and Almost Compact Cardinals. Math. Log. Q. 45 (1999)
Peter Jipsen
Sequential Q-algebras. RelMiCS (1998)
Robert E. L. Aldred, Mark N. Ellingham, Robert L. Hemminger, Peter Jipsen
-isomorphisms for graphs. J. Graph Theory 26 (1) (1997)
Peter Jipsen, Roger D. Maddux
Nonrepresentable Sequential Algebras. Log. J. IGPL 5 (4) (1997)