Distributive contact lattices: topological representations
type: Item
instance of: scholarly article
title: Distributive contact lattices: topological representations
zbMATH Open document ID: 1138.06004
author: Wendy MacCaull
author: Dimiter Vakarelov
author: Michael Winter
author: Ivo Düntsch
published in: The Journal of Logic and Algebraic Programming
publication date: 2008-06-19T00:00:00Z
Mathematics Subject Classification ID: 06D05
Mathematics Subject Classification ID: 06B30
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 5290917
zbMATH Keywords: region-based theory of space
zbMATH Keywords: distributive lattice
MaRDI profile type: Publication
full work available at URL: j.jlap.2007.10.002
OpenAlex ID: W2017672011
cites work: A Kripke semantics for the logic of Gelfand quantales
cites work: Q4083730
cites work: Crawley's completion of a conditionally upper continuous lattice
cites work: Q3416080
cites work: Q3416081
cites work: Relational Methods in Computer Science
cites work: Region-based theory of discrete spaces: A proximity approach
cites work: Topological Representation of Contact Lattices
cites work: A representation theorem for Boolean contact algebras
cites work: Real functions and near-normal spaces
cites work: Proximity structures and grills
cites work: Q3033739
cites work: Q3447202
cites work: A Proximity Approach to Some Region-Based Theories of Space
DOI: 10.1016/J.JLAP.2007.10.002
description: scientific article; zbMATH DE number 5290917