The Calculus of Relations
E1091323
UNEXPLORED
The Calculus of Relations is a mathematical logic text that systematically develops relation algebras and their applications to the foundations of mathematics and computer science.
All labels observed (1)
| Label | Occurrences |
|---|---|
| The Calculus of Relations canonical | 1 |
How this entity was disambiguated
This entity first appeared as the object of triple T14295335 — 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: The Calculus of Relations Context triple: [Steven Givant, coauthorOf, The Calculus of Relations]
-
A.
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.
-
B.
On a Problem of Formal Logic
"On a Problem of Formal Logic" is a seminal philosophical and mathematical paper by F. P. Ramsey that contributed to the foundations of logic and helped inspire what is now known as Ramsey theory.
-
C.
On the Composition of Ratios
On the Composition of Ratios is a mathematical treatise by Thabit ibn Qurra that develops and extends Greek theories of ratios and proportions within the framework of early Islamic mathematics.
-
D.
On the Concept of Following Logically
"On the Concept of Following Logically" is a seminal philosophical essay by Alfred Tarski that rigorously analyzes the notion of logical consequence and its formal characterization.
-
E.
“Semantic Relationism”
“Semantic Relationism” is a philosophical work by Kit Fine that develops a relational approach to semantic content, especially concerning names, variables, and coreference.
- 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: The Calculus of Relations Target entity description: The Calculus of Relations is a mathematical logic text that systematically develops relation algebras and their applications to the foundations of mathematics and computer science.
-
A.
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.
-
B.
On a Problem of Formal Logic
"On a Problem of Formal Logic" is a seminal philosophical and mathematical paper by F. P. Ramsey that contributed to the foundations of logic and helped inspire what is now known as Ramsey theory.
-
C.
On the Composition of Ratios
On the Composition of Ratios is a mathematical treatise by Thabit ibn Qurra that develops and extends Greek theories of ratios and proportions within the framework of early Islamic mathematics.
-
D.
On the Concept of Following Logically
"On the Concept of Following Logically" is a seminal philosophical essay by Alfred Tarski that rigorously analyzes the notion of logical consequence and its formal characterization.
-
E.
“Semantic Relationism”
“Semantic Relationism” is a philosophical work by Kit Fine that develops a relational approach to semantic content, especially concerning names, variables, and coreference.
- F. None of above. chosen
Referenced by (1)
Full triples — surface form annotated when it differs from this entity's canonical label.