On the public citation graph
Finite integral relation algebras
0 signed · 38 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/bf01182249openalex-snapshot
Combinatorial aspects of relations
inferredcites →https://doi.org/10.1007/bf02483882openalex-snapshot
Embedding modular lattices into relation algebras
inferredcites →https://doi.org/10.1016/0168-0072(83)90055-6openalex-snapshot
A sequent calculus for relation algebras
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(55)50009-6openalex-snapshot
Contributions to the theory of models. III
inferredcites →https://doi.org/10.1090/s0002-9947-1959-0108459-5openalex-snapshot
Representation of Modular Lattices and Of Relation Algebras
inferredcites →https://doi.org/10.1090/s0002-9947-1982-0662049-7openalex-snapshot
Some Varieties Containing Relation Algebras
inferredcites →https://doi.org/10.1305/ndjfl/1093870308openalex-snapshot
A new foundation for the theory of relations.
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/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/2268420openalex-snapshot
Alfred Tarski. Contributions to the theory of models. Koninklijke Nederlandse Akademie van Wetenschappen, Proceedings, series A, vol. 57 (1954), pp. 572–588, and vol. 58 (1955), pp. 56–64; also Indagationes mathematicae, vol. 16 (1954), pp. 572–588, and vol. 17 (1955), pp. 56–64.
inferredcites →https://doi.org/10.2307/2274537openalex-snapshot
Leon Henkin, J. Donald Monk, and Alfred Tarski. Cylindric algebras. Part II. Studies in logic and the foundations of mathematics, vol. 115. North-Holland, Amsterdam, New York, and Oxford, 1985, ix + 302 pp.
inferredcites →https://doi.org/10.2307/2372123openalex-snapshot
Boolean Algebras with Operators. Part I
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/3-540-63104-6_36openalex-snapshot
RALL: Machine-supported proofs for relation algebra
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-71430-7_3openalex-snapshot
Tarskian Classical Relevant Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-04639-1_20openalex-snapshot
Discrete Duality for Relation Algebras and Cylindric Algebras
inferred← citeshttps://doi.org/10.1007/978-3-642-21070-9_24openalex-snapshot
Splitting Atoms in Relational Algebras
inferred← citeshttps://doi.org/10.1007/bf01188999openalex-snapshot
Necessary subalgebras of simple nonintegral semiassociative relation algebras
inferred← citeshttps://doi.org/10.1007/bf01190770openalex-snapshot
Small representations of the relation algebra ?n+1(1, 2, 3)
inferred← citeshttps://doi.org/10.1007/bf01221799openalex-snapshot
A perspective on the theory of relation algebras
inferred← citeshttps://doi.org/10.1007/s00012-018-0493-0openalex-snapshot
Subcompletions of representable relation algebras
inferred← citeshttps://doi.org/10.1016/0304-3975(95)00082-8openalex-snapshot
Relation-algebraic semantics
inferred← citeshttps://doi.org/10.1016/j.apal.2003.11.011openalex-snapshot
Finite, integral, and finite-dimensional relation algebras: a brief history
inferred← citeshttps://doi.org/10.1016/s0168-0072(97)00015-8openalex-snapshot
Atom structures of cylindric algebras and relation algebras
inferred← citeshttps://doi.org/10.1016/s0168-0072(99)00022-6openalex-snapshot
Relation algebras with n-dimensional relational bases
inferred← citeshttps://doi.org/10.1090/s0002-9939-1987-0883419-8openalex-snapshot
Boolean Reducts of Relation and Cylindric Algebras and the Cube Problem
inferred← citeshttps://doi.org/10.1090/s0002-9939-1991-1033959-7openalex-snapshot
The Neat Embedding Problem and the Number of Variables Required in Proofs
inferred← citeshttps://doi.org/10.2178/jsl/1190150037openalex-snapshot
Relation algebra reducts of cylindric algebras and an application to proof theory
inferred← citeshttps://doi.org/10.2307/2274756openalex-snapshot
Nonfinite axiomatizability results for cylindric and relation algebras
inferred← citeshttps://doi.org/10.2307/2275740openalex-snapshot
Step by step – Building representations in algebraic logic
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.