R
esiduated_
L
attices
Residuated_Lattices
Residuated_Boolean_Algebras
Involutive_Residuated
Action_Algebra
Action_Algebra_Models
Residuated_Relation_Algebra