19 citations · 49 across the 19 of their papers we have counts for
1 paper · 2 filters
Wesley Fussner, Peter Jipsen
In residuated binars there are six non-obvious distributivity identities of ⋅,/,\ over ∧,∨. We show that in residuated binars with distributive lattic…