P
S
emigroups
C
onvolution
Partial_Semigroups
Partial_Semigroup_Models
Quantales
Binary_Modalities
Unary_Modalities
Partial_Semigroup_Lifting