Symmetric Heyting relation algebras with applications to hypergraphs
Symmetric Heyting relation algebras (SHRAs) generalize relation algebras. SHRAs have an adjoint pair of converse operations. Within an SHRA we construct the sub-SHRA induced by a pre-order element. Relations on a hypergraph form an SHRA and arise from this construction. Results are applied to mathematical morphology on hypergraphs.
relation algebra hypergraph mathematical morphology symmetric heyting algebra left converse right converse