19 citations · 49 across the 19 of their papers we have counts for
1 paper · 2 filters
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…