Relation algebras

Steven Givant
Additional contact information
Steven Givant: Mills College, Department of Mathematics

Chapter Chapter 2 in Introduction to Relation Algebras, 2017, pp 35-69 from Springer

Abstract: Abstract The theory of relation algebras is an abstract algebraic version of the calculus of relations that was outlined in Chapter 1. There are four new components to the theory. First, ten simple laws from the calculus of relations have been singled out as axioms of the theory; in particular, the theory is axiomatic in nature. Second, each of the axioms has the form of an equation, and the only rules of inference that are permitted are the rule of substitution and the rule of replacement of equals by equals, both familiar from high school algebra.

Date: 2017
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-319-65235-1_2

Ordering information: This item can be ordered from
http://www.springer.com/9783319652351

DOI: 10.1007/978-3-319-65235-1_2

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().