Relation algebras: Concept of points and representability
From MaRDI portal
Publication:1063597
DOI10.1016/0012-365X(85)90064-0zbMath0575.03040OpenAlexW2081706307MaRDI QIDQ1063597
Thomas Ströhlein, Gunther Schmidt
Publication date: 1985
Published in: Discrete Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0012-365x(85)90064-0
Representation theory of lattices (06B15) Cylindric and polyadic algebras; relation algebras (03G15)
Related Items (25)
Bjarni Jónsson's contributions in algebra ⋮ Relational algebraic semantics of deterministic and nondeterministic programs ⋮ A relation algebraic model of robust correctness ⋮ Point Axioms in Dedekind Categories ⋮ Determinisation of relational substitutions in ordered categories with domain ⋮ Hopscotch -- reaching the target hop by hop ⋮ Second-order properties of undirected graphs ⋮ Relational characterisations of paths ⋮ Categorical representation theorems of fuzzy relations ⋮ Monomorphic characterization of \(n\)-ary direct products ⋮ Relation algebraic domain constructions ⋮ An algebraic characterization of semantic independence ⋮ Embedding a demonic semilattice in a relation algebra ⋮ Pair-Dense Relation Algebras ⋮ Goals and benchmarks for automated map reasoning ⋮ Layered map reasoning ⋮ Dedekind categories with cutoff operators ⋮ Finding models through graph saturation ⋮ Cardinality of relations and relational approximation algorithms ⋮ Cardinality of relations with applications ⋮ Cardinalities of Finite Relations in Coq ⋮ Relational demonic fuzzy refinement ⋮ An algebraic formalization of fuzzy relations ⋮ Point axioms and related conditions in Dedekind categories ⋮ Partiality. I: Embedding relation algebras
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A note on Peirce on Boole's algebra of logic
- Embedding modular lattices into relation algebras
- The representation of relation algebras. II
- Relation algebras and projective geometries
- Equational two axiom bases for Boolean algebras and some other lattice theories
- Programs as partial graphs. I: Flow equivalence and correctness
- Cylindric set algebras. Cylindric set algebras and related structures. By L. Henkin, J. D. Monk, and A. Tarski. On cylindric-relativized set algebras. By H. Andreka and I. Nemeti
- A Boolean matrix iteration in timetable construction
- Some sufficient conditions for the representability of relation algebras
- Two axiom systems for relation algebras
- The algebra of relatives
- Characterizing the regular prefix codes and right power-bounded languages
- On representable relation algebras
- Representations of integral relation algebras
- The representation of relational algebras
- Über die Korrespondenzen einer Struktur
- On Some Properties of Binary Relations
- Representation of Modular Lattices and Of Relation Algebras
- Generators for algebras of relations
- Projective algebra and the calculus of relations
- An undecidability result for relation algebras
- Lattice matrices
- Completions of B<scp>OOLEAN</scp> Algebras with operators
- The Theory of Representation for Boolean Algebras
- Postulates for the calculus of binary relations
- Relations binaires, fermetures, correspondances de Galois
- Matrix development of the calculus of relations
- On the Representation of Projective Algebras
- On complete atomic proper relation algebras
- Boolean Algebras with Operators
- A Remark on Boolean Algebras with Operators
- A Note on Boolean Matrix Theory
- Relational Algebra and Uniform Spaces*
- Projective Algebra I
This page was built for publication: Relation algebras: Concept of points and representability