Contact, closure, topology, and the linking of row and column types of relations

DOI10.1016/j.jlap.2011.04.007zbMath1231.03058OpenAlexW1984255364MaRDI QIDQ549681

Rudolf Berghammer, Gunther Schmidt

Publication date: 18 July 2011

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2011.04.007

zbMATH Keywords

complete latticeclosure operationrelation algebrapartial ordertopological structurecontact relation\texttt{RelView}column typesopen set topologyrow types

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Cylindric and polyadic algebras; relation algebras (03G15) Other classical set theory (including functions, relations, and set algebra) (03E20) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (6)

Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces ⋮ Cryptomorphic topological structures: a computational, relation-algebraic approach ⋮ A Relation-Algebraic Approach to Multirelations and Predicate Transformers ⋮ Gunther Schmidt's life as a mathematician and computer scientist ⋮ Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool ⋮ An algebraic approach to multirelations and their properties

Uses Software

• RelView

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Symmetric quotients and domain constructions
• Relation-algebraic computation of fixed points with applications
• Embedding mappings and splittings with applications
• Functional dependencies in relational databases: A lattice point of view
• A proof system for contact relation algebras
• The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey
• A representation theorem for Boolean contact algebras
• Computing and Visualizing Closure Objects Using Relation Algebra and RelView
• Knowledge Spaces
• Relational Methods in Computer Science
• Computer Algebra in Scientific Computing

This page was built for publication: Contact, closure, topology, and the linking of row and column types of relations