P. Jipsen

activity

20132026

most citedAlgebraic proof theory for LE-logics

19 citations · 49 across the 19 of their papers we have counts for

collaborators

Showing 2023Show all

3 papers · 1 filter

math.LO2023

Locally Integral Involutive PO-Semigroups

José Gil-Férez, Peter Jipsen, Melissa Sugimoto

We show that every locally integral involutive partially ordered semigroup (ipo-semigroup) $A = (A, \leq, \cdot, \sim, -)$ , and in particular every locally integral involutive…

math.RA2023

$S$ -preclones and the Galois connection $^{S} Pol$ - $^{S} Inv$ , Part I

Peter Jipsen, Erkko Lehtonen, Reinhard Pöschel

We consider $S$ -operations $f : A^{n} \to A$ in which each argument is assigned a signum $s \in S$ representing a "property" such as being order-preserving or order-reversing…

cs.LO2023

Representable and diagonally representable weakening relation algebras

Peter Jipsen, Jaš Šemrl

A binary relation defined on a poset is a weakening relation if the partial order acts as a both-sided compositional identity. This is motivated by the weakening rule in sequent ca…

Locally Integral Involutive PO-Semigroups

S-preclones and the Galois connection SPol-SInv, Part I

Representable and diagonally representable weakening relation algebras

$S$ -preclones and the Galois connection $^{S} Pol$ - $^{S} Inv$ , Part I