Article:Stell, JG (2014) Symmetric Heyting relation algebras with applications to hypergraphs. Journal of Logical and Algebraic Methods in Programming, 84. pp. 440-455. ISSN 2352-2208 https://doi.org/10.1016/j.jlamp.2014.12.001 eprints@whiterose.ac.uk https://eprints.whiterose.ac.uk/ Reuse Unless indicated otherwise, fulltext items are protected by copyright with all rights reserved. The copyright exception in section 29 of the Copyright, Designs and Patents Act 1988 allows the making of a single copy solely for the purpose of non-commercial research or private study within the limits of fair dealing. The publisher or other rights-holder may allow further reproduction and re-use of this version -refer to the White Rose Research Online record for this item. Where records identify the publisher as the copyright holder, users can verify any specific terms of use on the publisher's website.
TakedownIf you consider content in White Rose Research Online to be in breach of UK law, please notify us by emailing eprints@whiterose.ac.uk including the URL of the record and the reason for the withdrawal request.
AbstractA relation on a hypergraph is a binary relation on the set consisting of all the nodes and the edges, and which satisfies a constraint involving the incidence structure of the hypergraph. These relations correspond to join preserving mappings on the lattice of sub-hypergraphs. This paper introduces a generalization of a relation algebra in which the Boolean algebra part is replaced by a Heyting algebra that supports an order-reversing involution. A general construction for these symmetric Heyting relation algebras is given which includes as a special case the algebra of relations on a hypergraph. A particular feature of symmetric Heyting relation algebras is that instead of an involutory converse operation they possess both a left converse and a right converse which form an adjoint pair of operations. Properties of the converses are established and used to derive a generalization of the well-known connection between converse, complement, erosion and dilation in mathematical morphology. This provides part of the foundation necessary to develop mathematical morphology on hypergraphs based on relations on hypergraphs.