Stone Relation Algebras

MaRDI QIDQ7361926FDO

Authors Walter Guttmann

Publication date 7 February 2017

Cites work

• A new algebraic approach to L-fuzzy relations convenient to study crispness
• Algebras for iteration and infinite computations
• Axiomatizability of positive algebras of binary relations
• Categorical representation theorems of fuzzy relations
• Closure, properties and closure properties of multirelations
• Concurrent dynamic logic
• Crispness in Dedekind categories
• Extended Static Checking by Calculation Using the Pointfree Transform
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• Unnamed Publication
• L-fuzzy sets
• On the calculus of relations
• Ordnungen, Verbände und Relationen mit Anwendungen
• Relation algebras
• Relation algebras by games
• Relation-algebraic semantics
• Relation-algebraic verification of Prim's minimum spanning tree algorithm
• Relational mathematics
• Representations of ordered semigroups and lattices by binary relations
• Stone relation algebras

Cited in

(3)

• Stone Kleene
• Cardinality and Representation of Stone Relation Algebras
• Relational Divisibility

This page was built for software: Stone Relation Algebras