Symmetric Heyting relation algebras with applications to hypergraphs

DOI10.1016/J.JLAMP.2014.12.001zbMath1330.03094OpenAlexW2127691971WikidataQ59898340 ScholiaQ59898340MaRDI QIDQ2347914

John G. Stell

Publication date: 10 June 2015

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2014.12.001

zbMATH Keywords

hypergraphrelation algebramathematical morphologyleft converseright conversesymmetric Heyting algebra

Mathematics Subject Classification ID

Computing methodologies for image processing (68U10) Hypergraphs (05C65) Heyting algebras (lattice-theoretic aspects) (06D20) Cylindric and polyadic algebras; relation algebras (03G15)

Related Items (6)

A bi-intuitionistic modal logic: foundations and automation ⋮ Weakening Relation Algebras and FL$$^2$$-algebras ⋮ Representable and diagonally representable weakening relation algebras ⋮ Expressing discrete spatial relations under granularity ⋮ Pairings and related symmetry notions ⋮ The granular partition lattice of an information table

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Graphs of morphisms of graphs
• Categories in continuum physics. Lectures given at a Workshop held at SUNY, Buffalo (New York) 1982
• Non-embeddable simple relation algebras
• Bi-Heyting algebras, toposes and modalities
• Relation algebras as expanded FL-algebras
• Relations on Hypergraphs
• Some Morphological Operators in Graph Spaces
• Handbook of Spatial Logics
• Heyting Algebras with a Dual Lattice Endomorphism
• The algebraic basis of mathematical morphology I. Dilations and erosions
• Inf-structuring Functions and Self-dual Marked Flattenings in bi-Heyting Algebra
• Tableau Development for a Bi-intuitionistic Tense Logic

This page was built for publication: Symmetric Heyting relation algebras with applications to hypergraphs