Add to ORKGAbstract. We present a few laws of linear algebra inspired by laws of relation algebra. The linear algebra laws are obtained from the relational ones by replacing union, intersection, composition and converse by the linear algebra operators of addition, Hadamard product, composition and transposition. Many of the modified expressions hold directly or with minor alterations.
Tarski’s algebra of binary relations is formalised along the lines of the standard textbooks of Madd...
Square matrices over a relation algebra are relation algebras in a natural way. We show that for fix...
Linear algebra is an initial part of mathematics. It is a major branch of arithmetic related to the ...
We present a few laws of linear algebra inspired by laws of relation algebra. The linear algebra law...
This monograph details several different methods for constructing simple relation algebras, many of ...
This thesis constitutes an introduction to the study of relation algebras with a special emphasis on...
AbstractThis paper presents an axiom system to Relation Algebra with Binders. This is a hybrid forma...
The first volume of a pair that charts relation algebras from novice to expert level, this text offe...
AbstractThe relational model is extended to include nested structures. This extension is formalised ...
Relation algebras are algebras arising from the study of binary relations.They form a part of the fi...
Relation algebras are Boolean algebras with additional operations that generalize sets of binary rel...
AbstractIn the axiomatization of relation algebras by Chin and Tarski certain elements are called ri...
Linear Associative Algebras focuses on finite dimensional linear associative algebras and the Wedder...
We consider a version of the relational model in which relation names may appear as arguments of oth...
AbstractThe first half is a tutorial on orderings, lattices, Boolean algebras, operators on Boolean ...
Tarski’s algebra of binary relations is formalised along the lines of the standard textbooks of Madd...
Square matrices over a relation algebra are relation algebras in a natural way. We show that for fix...
Linear algebra is an initial part of mathematics. It is a major branch of arithmetic related to the ...
We present a few laws of linear algebra inspired by laws of relation algebra. The linear algebra law...
This monograph details several different methods for constructing simple relation algebras, many of ...
This thesis constitutes an introduction to the study of relation algebras with a special emphasis on...
AbstractThis paper presents an axiom system to Relation Algebra with Binders. This is a hybrid forma...
The first volume of a pair that charts relation algebras from novice to expert level, this text offe...
AbstractThe relational model is extended to include nested structures. This extension is formalised ...
Relation algebras are algebras arising from the study of binary relations.They form a part of the fi...
Relation algebras are Boolean algebras with additional operations that generalize sets of binary rel...
AbstractIn the axiomatization of relation algebras by Chin and Tarski certain elements are called ri...
Linear Associative Algebras focuses on finite dimensional linear associative algebras and the Wedder...
We consider a version of the relational model in which relation names may appear as arguments of oth...
AbstractThe first half is a tutorial on orderings, lattices, Boolean algebras, operators on Boolean ...
Tarski’s algebra of binary relations is formalised along the lines of the standard textbooks of Madd...
Square matrices over a relation algebra are relation algebras in a natural way. We show that for fix...
Linear algebra is an initial part of mathematics. It is a major branch of arithmetic related to the ...
