Peter Jipsen

According to our database, Peter Jipsen authored at least 37 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Algebraic Proof Theory for LE-logics.

Giuseppe Greco, Peter Jipsen, Fei Liang, Alessandra Palmigiano, Apostolos Tzimoulis

ACM Trans. Comput. Log., January, 2024

Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras.

Natanael Alpay, Peter Jipsen, Melissa Sugimoto

Log. Methods Comput. Sci., 2024

2023

Representable and Diagonally Representable Weakening Relation Algebras.

Peter Jipsen, Jas Semrl

Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

The Structure of Locally Integral Involutive Po-monoids and Semirings.

José Gil-Férez, Peter Jipsen, Siddhartha Lodhia

Proceedings of the Relational and Algebraic Methods in Computer Science, 2023

2022

Primitive lattice varieties.

Peter Jipsen, James B. Nation

Int. J. Algebra Comput., 2022

2021

Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report).

Willem Conradie, Valentin Goranko, Peter Jipsen

CoRR, 2021

Algorithmic Correspondence for Relevance Logics, Bunched Implication Logics, and Relation Algebras via an Implementation of the Algorithm PEARL.

Willem Conradie, Valentin Goranko, Peter Jipsen

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

Unary-Determined Distributive ℓ-magmas and Bunched Implication Algebras.

Natanael Alpay, Peter Jipsen, Melissa Sugimoto

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Weakening Relation Algebras and FL²-algebras.

Nikolaos Galatos, Peter Jipsen

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

Commutative Doubly-Idempotent Semirings Determined by Chains and by Preorder Forests.

Natanael Alpay, Peter Jipsen

Proceedings of the Relational and Algebraic Methods in Computer Science, 2020

2019

Logics for Rough Concept Analysis.

Giuseppe Greco, Peter Jipsen, Krishna Manoorkar, Alessandra Palmigiano, Apostolos Tzimoulis

Proceedings of the Logic and Its Applications - 8th Indian Conference, 2019

2018

On the Structure of Generalized Effect Algebras and Separation Algebras.

Sarah Alexander, Peter Jipsen, Nadiya Upegui

Proceedings of the Relational and Algebraic Methods in Computer Science, 2018

2017

On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras.

Peter Jipsen

Soft Comput., 2017

On Tarski's Axiomatic Foundations of the Calculus of Relations.

Hajnal Andréka, Steven Givant, Peter Jipsen, István Németi

J. Symb. Log., 2017

An Algebraic Glimpse at Bunched Implications and Separation Logic.

Peter Jipsen, Tadeusz Litak

CoRR, 2017

Relation Algebras, Idempotent Semirings and Generalized Bunched Implication Algebras.

Peter Jipsen

Proceedings of the Relational and Algebraic Methods in Computer Science, 2017

2016

Concurrent Kleene algebra with tests and branching automata.

Peter Jipsen, M. Andrew Moshier

J. Log. Algebraic Methods Program., 2016

Relational and algebraic methods in computer science.

Peter Höfner, Peter Jipsen, Wolfram Kahl, Martin Eric Müller

J. Log. Algebraic Methods Program., 2016

2014

Concurrent Kleene Algebra with Tests.

Peter Jipsen

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

On some properties of quasi-MV algebras and √' quasi-MV algebras. Part IV.

Peter Jipsen, Antonio Ledda, Francesco Paoli

Reports Math. Log., 2013

Basic Logic, SMT solvers and finitely generated varieties of GBL-algebras.

Peter Jipsen

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

2012

Preface.

Nikolaos Galatos, Peter Jipsen, Hiroakira Ono

Stud Logica, 2012

Categories of Algebraic Contexts Equivalent to Idempotent Semirings and Domain Semirings.

Peter Jipsen

Proceedings of the Relational and Algebraic Methods in Computer Science, 2012

2009

Generalizations of Boolean products for lattice-ordered algebras.

Peter Jipsen

Ann. Pure Appl. Log., 2009

Domain and Antidomain Semigroups.

Jules Desharnais, Peter Jipsen, Georg Struth

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

The Structure of the One-Generated Free Domain Semiring.

Peter Jipsen, Georg Struth

Proceedings of the Relations and Kleene Algebra in Computer Science, 2008

2004

From Semirings to Residuated Kleene Lattices.

Peter Jipsen

Stud Logica, 2004

Algebraic Aspects of Cut Elimination.

Francesco Belardinelli, Peter Jipsen, Hiroakira Ono

Stud Logica, 2004

Minimal Expansions of Semilattices.

Peter Jipsen, Andrzej Kisielewicz

Int. J. Algebra Comput., 2004

2003

A Note on Complex Algebras of Semigroups.

Peter Jipsen

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003

2001

Rudin-Keisler Posets of Complete Boolean Algebras.

Peter Jipsen, Alexander Pinus, Henry Rose

Math. Log. Q., 2001

2000

Some Results about Complex Algebras of Algebras.

Peter Jipsen

Proceedings of the Participants Copies of Fifth International Seminar on Relational Methods in Computer Science, 2000

1999

Partition Complete Boolean Algebras and Almost Compact Cardinals.

Peter Jipsen, Henry Rose

Math. Log. Q., 1999

1998

Sequential Q-algebras.

Peter Jipsen

Proceedings of the Participants Copies for Relational Methods in Logic, 1998

1997

<i>P</i>₃-isomorphisms for graphs.

Robert E. L. Aldred, Mark N. Ellingham, Robert L. Hemminger, Peter Jipsen

J. Graph Theory, 1997

Nonrepresentable Sequential Algebras.

Peter Jipsen, Roger D. Maddux

Log. J. IGPL, 1997

Background Material.

Peter Jipsen, Chris Brink, Gunther Schmidt

Proceedings of the Relational Methods in Computer Science., 1997