7 citations · 7 across the 6 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
math.LO2023
Implication Algebras and Implication Semigroups of Binary Relations
Andrew Lewis-Smith Jaš Šemrl
Representable implication algebras are known to be axiomatised by a finite number of equations (making the representation and finite representation problems decidable here). We sho…
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…