On the public citation graph
The origin of relation algebras in the development and axiomatization of the calculus of relations
0 signed · 153 inferred · view as graph
Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.
Is this your work? Sign in with ORCID and put your name on the
claims that are yours.
Reference health. See whether every reference in this work resolves to a
known work and none has been retracted — and get a dated CiteStamped
badge you can embed.
What this work says
Outgoing claims: the papers this work cites, builds on, or argues with.
inferredcites →https://doi.org/10.1007/bf00245919openalex-snapshot
Of servants, lovers, and benefactors: Peirce's algebra of relatives of 1870
inferredcites →https://doi.org/10.1007/bf01458217openalex-snapshot
Über Möglichkeiten im Relativkalkül
inferredcites →https://doi.org/10.1016/0016-0032(57)90984-5openalex-snapshot
Introduction to mathematical logic
inferredcites →https://doi.org/10.1016/s1385-7258(54)50075-2openalex-snapshot
Contributions to the Theory of Models. II
inferredcites →https://doi.org/10.1016/s1385-7258(56)50007-8openalex-snapshot
Equationally Complete Rings and Relation Algebras
inferredcites →https://doi.org/10.1017/cbo9781107280694.010openalex-snapshot
TRANSACTIONS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY
inferredcites →https://doi.org/10.1037/12811-000openalex-snapshot
Studies in logic by members of the Johns Hopkins University.
inferredcites →https://doi.org/10.1075/fos.1openalex-snapshot
'Studies in Logic' by Members of the Johns Hopkins University (1883)
inferredcites →https://doi.org/10.1086/354197openalex-snapshot
Writings of Charles S. Peirce: A Chronological Edition. Volume II:1867-1871. Charles S. Peirce , Edward C. Moore , Max H. Fisch , Christian J. W. Kloesel, Don D. Roberts , Lynn A. Zeigler
inferredcites →https://doi.org/10.1090/bullopenalex-snapshot
Bulletin of the American Mathematical Society
inferredcites →https://doi.org/10.1090/coll/041openalex-snapshot
A Formalization of Set Theory without Variables
inferredcites →https://doi.org/10.1090/s0002-9947-1904-1500675-4openalex-snapshot
Sets of Independent Postulates for the Algebra of Logic
inferredcites →https://doi.org/10.1090/s0002-9947-1933-1501684-xopenalex-snapshot
New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell’s Principia mathematica
inferredcites →https://doi.org/10.1090/s0002-9947-1933-1501702-9openalex-snapshot
Boolean algebra. A correction to: “New sets of independent postulates for the algebra of logic, with special reference to Whitehead and Russell’s Principia mathematica” [Trans. Amer. Math. Soc. 35 (1933), no. 1, 274–304; 1501684]
inferredcites →https://doi.org/10.1090/s0002-9947-1982-0662049-7openalex-snapshot
Some Varieties Containing Relation Algebras
inferredcites →https://doi.org/10.1090/tranopenalex-snapshot
Transactions of the American Mathematical Society
inferredcites →https://doi.org/10.1111/j.1468-0149.1966.tb02639.xopenalex-snapshot
ON THE SYLLOGISM AND OTHER LOGICAL WRITINGS
inferredcites →https://doi.org/10.1307/mmj/1028998510openalex-snapshot
Relation algebras and projective geometries.
inferredcites →https://doi.org/10.1307/mmj/1028999131openalex-snapshot
On representable relation algebras.
inferredcites →https://doi.org/10.1307/mmj/1029000477openalex-snapshot
Representations of integral relation algebras.
inferredcites →https://doi.org/10.2307/1969375openalex-snapshot
The Representation of Relational Algebras
inferredcites →https://doi.org/10.2307/1969611openalex-snapshot
The Representation of Relation Algebras, II
inferredcites →https://doi.org/10.2307/2105835openalex-snapshot
On the Syllogism and other Logical Writings.
inferredcites →https://doi.org/10.2307/2176409openalex-snapshot
Dictionary of Philosophy and Psychology.
inferredcites →https://doi.org/10.2307/2266341openalex-snapshot
Louise H. Chin and Alfred Tarski. Distributive and modular laws in the arithmetic of relation algebras. University of California publications in mathematics, n.s. vol. 1 no. 9 (1951), pp. 341–384.
inferredcites →https://doi.org/10.2307/2369451openalex-snapshot
On the Algebra of Logic: A Contribution to the Philosophy of Notation
inferredcites →https://doi.org/10.2307/2372123openalex-snapshot
Boolean Algebras with Operators. Part I
inferredcites →https://doi.org/10.2307/25058006openalex-snapshot
Description of a Notation for the Logic of Relatives, Resulting from an Amplification of the Conceptions of Boole's Calculus of Logic
inferredcites →https://doi.org/10.5406/pluralist.6.2.0061openalex-snapshot
The Writings of Charles S. Peirce: A Chronological Edition: 1890–1892
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1006/jsco.1999.0362openalex-snapshot
Goals and Benchmarks for Automated Map Reasoning
inferred← citeshttps://doi.org/10.1007/11787181_28openalex-snapshot
An Application of Relation Algebra to Lexical Databases
inferred← citeshttps://doi.org/10.1007/3-540-45483-7_4openalex-snapshot
Relation Graphs: A Structure for Representing Relations in Contextual Logic of Relations
inferred← citeshttps://doi.org/10.1007/3-540-49545-2_18openalex-snapshot
A Mechanised Proof System for Relation Algebra Using Display Logic
inferred← citeshttps://doi.org/10.1007/3-540-63172-0_40openalex-snapshot
Cut-free display calculi for relation algebras
inferred← citeshttps://doi.org/10.1007/978-0-387-74759-0_53openalex-snapshot
Boolean and Fuzzy Relations
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_3openalex-snapshot
Applying Algebraic Logic to Logic
inferred← citeshttps://doi.org/10.1007/978-1-4471-3227-1_4openalex-snapshot
Relation Algebras for Reasoning about Time and Space
inferred← citeshttps://doi.org/10.1007/978-3-030-39951-1_3openalex-snapshot
On Matrices and K-Relations
inferred← citeshttps://doi.org/10.1007/978-3-030-86062-2_21openalex-snapshot
Residuation in Existential Graphs
inferred← citeshttps://doi.org/10.1007/978-3-319-65430-0_29openalex-snapshot
Tarski’s Influence on Computer Science
inferred← citeshttps://doi.org/10.1007/978-3-642-27269-1_20openalex-snapshot
Towards Linear Algebras of Components
inferred← citeshttps://doi.org/10.1007/978-3-642-36546-1_20openalex-snapshot
Measuring Data Completeness for Microbial Genomics Database
inferred← citeshttps://doi.org/10.1007/978-3-642-36546-1_23openalex-snapshot
Reference Architectures to Measure Data Completeness across Integrated Databases
inferred← citeshttps://doi.org/10.1007/978-94-010-0526-5_3openalex-snapshot
A Representation of Relation Algebras Using Routley-Meyer Frames
inferred← citeshttps://doi.org/10.1007/978-94-017-2798-3_5openalex-snapshot
Relational Proof Systems for Modal Logics
inferred← citeshttps://doi.org/10.1007/bfb0019019openalex-snapshot
Terminological representation, natural language & relation algebra
inferred← citeshttps://doi.org/10.1007/bfb0039715openalex-snapshot
On the smooth calculation of relational recursive expressions out of first-order non-constructive specifications involving quantifiers
inferred← citeshttps://doi.org/10.1007/s00165-012-0240-9openalex-snapshot
Towards a linear algebra of programming
inferred← citeshttps://doi.org/10.1007/s00283-009-9076-4openalex-snapshot
Mathematics Ho! Which Modern Mathematics Was Modernist?
inferred← citeshttps://doi.org/10.1007/s10462-004-5899-8openalex-snapshot
Relation Algebras and their Application in Temporal and Spatial Reasoning
inferred← citeshttps://doi.org/10.1007/s10472-021-09760-4openalex-snapshot
On matrices and K-relations
inferred← citeshttps://doi.org/10.1007/s11225-013-9498-zopenalex-snapshot
A Coalgebraic Perspective on Logical Interpretations
inferred← citeshttps://doi.org/10.1007/s11464-015-0435-5openalex-snapshot
Map composition generalized to coherent collections of maps
inferred← citeshttps://doi.org/10.1007/s11787-010-0023-0openalex-snapshot
Omnipresence, Multipresence and Ubiquity: Kinds of Generality in and Around Mathematics and Logics
inferred← citeshttps://doi.org/10.1016/0004-3702(95)00042-9openalex-snapshot
Relation algebras of intervals
inferred← citeshttps://doi.org/10.1016/0304-3975(95)00082-8openalex-snapshot
Relation-algebraic semantics
inferred← citeshttps://doi.org/10.1016/j.apal.2018.06.002openalex-snapshot
A representation theorem for measurable relation algebras
inferred← citeshttps://doi.org/10.1016/j.artint.2004.02.003openalex-snapshot
The complexity of constraint satisfaction problems for small relation algebras
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.04.013openalex-snapshot
Mechanising the Alphabetised Relational Calculus
inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.09.003openalex-snapshot
Programming from metaphorisms
inferred← citeshttps://doi.org/10.1016/j.scico.2012.07.012openalex-snapshot
Typing linear algebra: A biproduct-oriented approach
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.03.023openalex-snapshot
Normal forms for binary relations
inferred← citeshttps://doi.org/10.1016/s0004-3702(04)00026-8openalex-snapshot
The complexity of constraint satisfaction problems for small relation algebras
inferred← citeshttps://doi.org/10.1016/s0004-3702(99)00089-2openalex-snapshot
Tractable approximations for temporal constraint handling
inferred← citeshttps://doi.org/10.1016/s0020-0255(99)00017-1openalex-snapshot
Categorical representation theorems of fuzzy relations
inferred← citeshttps://doi.org/10.1016/s0165-0114(97)00061-4openalex-snapshot
An algebraic formalization of fuzzy relations
inferred← citeshttps://doi.org/10.1016/s0168-0072(01)00085-9openalex-snapshot
Relation algebras from cylindric algebras, II
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00027-4openalex-snapshot
Complexity of equations valid in algebras of relations part I: Strong non-finitizability
inferred← citeshttps://doi.org/10.1016/s0168-0072(99)00022-6openalex-snapshot
Relation algebras with n-dimensional relational bases
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)00183-5openalex-snapshot
An Agg Application Supporting Visual Reasoning1
inferred← citeshttps://doi.org/10.1016/s1571-0661(04)80936-8openalex-snapshot
A graphical approach to relational reasoning1 1This research was partially funded by the Italian CNR (coordinated project log(SETA)); by MURST PGR-2000; by the EC TMR Network GETGRATS; and by Esprit Working Group APPLIGRAPH.
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)80013-1openalex-snapshot
Rewriting Logic as a Logic of Special Relations
inferred← citeshttps://doi.org/10.1017/jsl.2021.88openalex-snapshot
FIRST-ORDER AXIOMATISATIONS OF REPRESENTABLE RELATION ALGEBRAS NEED FORMULAS OF UNBOUNDED QUANTIFIER DEPTH
inferred← citeshttps://doi.org/10.1017/s0956796899003640openalex-snapshot
Container types categorically
inferred← citeshttps://doi.org/10.1017/s1755020309990293openalex-snapshot
RELEVANCE LOGIC AND THE CALCULUS OF RELATIONS
inferred← citeshttps://doi.org/10.1017/s1755020319000224openalex-snapshot
NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS
inferred← citeshttps://doi.org/10.1075/aicr.26.17fraopenalex-snapshot
Formal Specifications of Image Schemata for Interoperability in Geographic Information Systems
inferred← citeshttps://doi.org/10.1080/01445340.2026.2650071openalex-snapshot
C. S. Peirce's Early Developments in Linear Logic
inferred← citeshttps://doi.org/10.1080/02693799608902079openalex-snapshot
Qualitative spatial reasoning: cardinal directions as an example
inferred← citeshttps://doi.org/10.1080/11663081.1993.10510805openalex-snapshot
Dynamic logic with program specifications and its relational proof system
inferred← citeshttps://doi.org/10.1090/s0002-9947-99-02264-3openalex-snapshot
Representability is not decidable for finite relation algebras
inferred← citeshttps://doi.org/10.1093/acprof:oso/9780195137316.003.0029openalex-snapshot
The Development of Mathematical Logic from Russell to Tarski, 1900–1935
inferred← citeshttps://doi.org/10.1093/jigpal/6.3.451openalex-snapshot
Substructural logics on display
inferred← citeshttps://doi.org/10.1093/logcom/exu018openalex-snapshot
Similarity and bisimilarity notions appropriate for characterizing indistinguishability in fragments of the calculus of relations
inferred← citeshttps://doi.org/10.1109/lics.2005.50openalex-snapshot
Tarski’s Influence on Computer Science
inferred← citeshttps://doi.org/10.1109/lics.2017.8005122openalex-snapshot
The primitivity of operators in the algebra of binary relations under conjunctions of containments
inferred← citeshttps://doi.org/10.1109/tse.2012.15openalex-snapshot
Alloy Meets the Algebra of Programming: A Case Study
inferred← citeshttps://doi.org/10.1109/tse.2021.3117515openalex-snapshot
Compiling Quantamorphisms for the IBM Q Experience
inferred← citeshttps://doi.org/10.1111/j.1467-8640.1995.tb00034.xopenalex-snapshot
HANDLING INFORMATION LOGICS IN A GRAPHICAL PROOF EDITOR
inferred← citeshttps://doi.org/10.1145/3498690openalex-snapshot
On incorrectness logic and Kleene algebra with top and tests
inferred← citeshttps://doi.org/10.1145/505168.505178openalex-snapshot
Viewing composition tables as axiomatic systems
inferred← citeshttps://doi.org/10.1155/2014/140707openalex-snapshot
Relational Demonic Fuzzy Refinement
inferred← citeshttps://doi.org/10.11648/j.ijp.20190703.14openalex-snapshot
Beyond Transcendentalism and Naturalization: A Categorial Framework for the Semiotic Phenomenology
inferred← citeshttps://doi.org/10.1201/9781420006377.ch14openalex-snapshot
Qualitative Spatial Reasoning
inferred← citeshttps://doi.org/10.12775/llp.2011.022openalex-snapshot
Structural features in Ernst Schröder's work. Part I
inferred← citeshttps://doi.org/10.12775/llp.2012.014openalex-snapshot
Structural features in Ernst Schröder’s work. Part II
inferred← citeshttps://doi.org/10.1515/9783111386690-012openalex-snapshot
28910 Wissen über Raum und Zeit
inferred← citeshttps://doi.org/10.1556/sscmath.48.2011.4.1190openalex-snapshot
Representability and amalgamation for Heyting polyadic algebras
inferred← citeshttps://doi.org/10.20381/ruor-16472openalex-snapshot
A relational basis for program construction by parts.
inferred← citeshttps://doi.org/10.2168/lmcs-2(3:6)2006openalex-snapshot
Tarski's influence on computer science
inferred← citeshttps://doi.org/10.2178/jsl/1185803629openalex-snapshot
Relation algebra reducts of cylindric algebras and complete representations
inferred← citeshttps://doi.org/10.22199/issn.0717-6279-2021-02-0025openalex-snapshot
Implicative filters in quasi-ordered residuated system
inferred← citeshttps://doi.org/10.22199/issn.0717-6279-4332openalex-snapshot
Weak implicative filters in quasi-ordered residuated systems
inferred← citeshttps://doi.org/10.2307/2275740openalex-snapshot
Step by step – Building representations in algebraic logic
inferred← citeshttps://doi.org/10.2979/tra.2009.45.3.456openalex-snapshot
Handbook of the History of Logic, volume 3: The Rise of Modern Logic from Leibniz to Frege By Dov M. Gabbay and John Woods (Eds.)
inferred← citeshttps://doi.org/10.2989/16073606.2011.622856openalex-snapshot
A perspective on the algebra of logic
inferred← citeshttps://doi.org/10.31274/rtd-180813-10695openalex-snapshot
Complex algebras of semigroups
inferred← citeshttps://doi.org/10.3166/jancl.16.367-408openalex-snapshot
An efficient relational deductive system for propositional non-classical logics
inferred← citeshttps://doi.org/10.3166/jancl.16.409-431openalex-snapshot
Relational proof systems for spatial reasoning ★
inferred← citeshttps://doi.org/10.3390/philosophies7060121openalex-snapshot
The Philosophy of Nature of the Natural Realism. The Operator Algebra from Physics to Logic
inferred← citeshttps://doi.org/10.4018/978-1-4666-4229-4.ch012openalex-snapshot
Demonic Fuzzy Relational Calculus
inferred← citeshttps://doi.org/10.4018/978-1-4666-7456-1.ch018openalex-snapshot
Demonic Fuzzy Relational Calculus
inferred← citeshttps://doi.org/10.4064/-28-1-201-208openalex-snapshot
Finitary axiomatizations of the true relational equations
inferred← citeshttps://doi.org/10.4204/eptcs.81.4openalex-snapshot
On Graph Refutation for Relational Inclusions
inferred← citeshttps://doi.org/10.46298/lmcs-20(2:6)2024openalex-snapshot
Executable First-Order Queries in the Logic of Information Flows
inferred← citeshttps://doi.org/10.47443/cm.2020.0010openalex-snapshot
Associated filters of quasi-ordered residuated systems
inferred← citeshttps://doi.org/10.47443/cm.2021.0025openalex-snapshot
Ideals in quasi-ordered residuated system
inferred← citeshttps://doi.org/10.48550/arxiv.1201.0353openalex-snapshot
How Peircean was the "'Fregean' Revolution" in Logic?
inferred← citeshttps://doi.org/10.48550/arxiv.1302.1368openalex-snapshot
On the finitizability problem in algebraic logic; recent results
inferred← citeshttps://doi.org/10.48550/arxiv.1312.4818openalex-snapshot
Typing linear algebra: A biproduct-oriented approach
inferred← citeshttps://doi.org/10.48550/arxiv.1406.0349openalex-snapshot
Undecidability of satisfiability in the algebra of finite binary relations with union, composition, and difference
inferred← citeshttps://doi.org/10.5109/13473openalex-snapshot
A REPRESENTATION THEOREM FOR RELATION ALGEBRAS : CONCEPTS OF SCALAR RELATIONS AND POINT RELATIONS
inferred← citeshttps://doi.org/10.5281/zenodo.41658openalex-snapshot
Auto Gain Control Based On Lut From Scene Luminance Curve In Mobile Phone Camera
inferred← citeshttps://doi.org/10.5281/zenodo.41710openalex-snapshot
Dynamic Selection Of Magnitude And Phase Based Acoustic Feature Streams For Speaker Verification
inferred← citeshttps://doi.org/10.5555/3329995.3330057openalex-snapshot
The primitivity of operators in the algebra of binary relations under conjunctions of containments
Editorial review for independent work. ICSAC — the Institute for Complexity
Science and Advanced Computing — runs a structured editorial panel for researchers
publishing outside journals, and publishes on CiteStamp rails. Submission is free
and goes through ORCID: icsacinstitute.org/submit.