Symmetric Heyting relation algebras with applications to hypergraphs

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

Abstract

Metadata

Authors/Creators:
  • Stell, JG
Copyright, Publisher and Additional Information: (c) 2014, Elsevier. NOTICE: this is the author’s version of a work that was accepted for publication in Journal of Logical and Algebraic Methods in Programming. Changes resulting from the publishing process, such as peer review, editing, corrections, structural formatting, and other quality control mechanisms may not be reflected in this document. Changes may have been made to this work since it was submitted for publication. A definitive version was subsequently published in Journal of Logical and Algebraic Methods in Programming, (2014) DOI 10.1016/j.jlamp.2014.12.001
Keywords: Relation algebra; symmetric Heyting algebra,; hypergraph; mathematical morphology; left converse; right converse
Dates:
  • Published: 12 December 2014
  • Accepted: 6 December 2014
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering (Leeds) > School of Computing (Leeds) > Artificial Intelligence & Biological Systems (Leeds)
Depositing User: Symplectic Publications
Date Deposited: 04 Feb 2015 14:56
Last Modified: 28 Jan 2018 19:55
Published Version: http://dx.doi.org/10.1016/j.jlamp.2014.12.001
Status: Published
Publisher: Elsevier
Identification Number: https://doi.org/10.1016/j.jlamp.2014.12.001

Share / Export

Statistics