Concept
Relation algebra
Overview
residuated Boolean algebra equipped with an involution (converse)
Overview adapted from Wikipedia (CC BY-SA 4.0; see the article history for authors).
Related ideas
- First-order logic
- Isomorphism
- Logical equivalence
- Logical connective
- Function (mathematics)
- Mathematics
- Modus ponens
- Augustus De Morgan
- Group (mathematics)
- Mathematical logic
- Reflexive relation
- Ordered pair
- Intersection (set theory)
- Power set
- Principia Mathematica
- Peano axioms
- Set theory
- Completeness (logic)
- Boolean algebra (structure)
- Quantifier (logic)
- Union (set theory)
- Complement (set theory)
- Boolean algebra
- Gödel's incompleteness theorems
Place in the tradition
Part of Outline of logic.