Two axiom systems for relation algebras

DOI10.1305/ndjfl/1093882813zbMath0394.03059OpenAlexW2029894948WikidataQ114598279 ScholiaQ114598279MaRDI QIDQ1252240

Chris Brink

Publication date: 1979

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093882813

zbMATH Keywords

Axiom Systems for Relation Algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) Other classical set theory (including functions, relations, and set algebra) (03E20)

Related Items (1)

Relation algebras: Concept of points and representability

This page was built for publication: Two axiom systems for relation algebras