Relation Algebras
E1091322
UNEXPLORED
Relation Algebras is a mathematical monograph that develops the theory of relation algebras as an abstract algebraic framework for studying relations and their logical properties.
All labels observed (2)
| Label | Occurrences |
|---|---|
| Introduction to Relation Algebras | 1 |
| Relation Algebras canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T14295333 — resolving that mention is where its identity was fixed. The disambiguator weighed these candidate entities and picked the highlighted one (or “None”, minting a new entity). This is how homonymy is resolved: the same surface form can point to different entities.
NED1
Entity disambiguation (via context triple)
gpt-5-mini-2025-08-07
Target entity: Relation Algebras Context triple: [Steven Givant, coauthorOf, Relation Algebras]
-
A.
Universal Algebra
Universal Algebra is a foundational mathematical text that systematically studies algebraic structures in a unified, abstract framework.
-
B.
Kleene algebra
Kleene algebra is an algebraic structure used to model and reason about regular expressions, program control flow, and formal languages through operations like choice, sequencing, and iteration.
-
C.
Handbook of Boolean Algebras
The *Handbook of Boolean Algebras* is a comprehensive multi-volume reference work that surveys the theory, structure, and applications of Boolean algebras in modern mathematics and logic.
-
D.
Hilbert-style deductive systems
Hilbert-style deductive systems are axiomatic proof systems in mathematical logic that use a small set of axiom schemas and a few inference rules (typically including modus ponens) to derive theorems in formal theories such as Zermelo–Fraenkel set theory.
-
E.
The Logic of Relatives
The Logic of Relatives is a seminal work by Charles Sanders Peirce that develops a formal theory of relations, significantly advancing the foundations of modern logic and mathematics.
- F. None of above. chosen
- G. Unsure - the case is ambiguous/there is not enough information to decide.
NED2
Entity disambiguation (via description)
gpt-5-mini-2025-08-07
Target entity: Relation Algebras Target entity description: Relation Algebras is a mathematical monograph that develops the theory of relation algebras as an abstract algebraic framework for studying relations and their logical properties.
-
A.
Universal Algebra
Universal Algebra is a foundational mathematical text that systematically studies algebraic structures in a unified, abstract framework.
-
B.
Kleene algebra
Kleene algebra is an algebraic structure used to model and reason about regular expressions, program control flow, and formal languages through operations like choice, sequencing, and iteration.
-
C.
Handbook of Boolean Algebras
The *Handbook of Boolean Algebras* is a comprehensive multi-volume reference work that surveys the theory, structure, and applications of Boolean algebras in modern mathematics and logic.
-
D.
Hilbert-style deductive systems
Hilbert-style deductive systems are axiomatic proof systems in mathematical logic that use a small set of axiom schemas and a few inference rules (typically including modus ponens) to derive theorems in formal theories such as Zermelo–Fraenkel set theory.
-
E.
The Logic of Relatives
The Logic of Relatives is a seminal work by Charles Sanders Peirce that develops a formal theory of relations, significantly advancing the foundations of modern logic and mathematics.
- F. None of above. chosen
Referenced by (2)
Full triples — surface form annotated when it differs from this entity's canonical label.
this entity surface form:
Introduction to Relation Algebras