On the public citation graph

Some sufficient conditions for the representability of relation algebras

0 signed · 48 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.

Claim with ORCID

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.

See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/mana.19700460105openalex-snapshot

Completions of B OOLEAN Algebras with operators

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.1017/s0305004100013463openalex-snapshot

On the Structure of Abstract Algebras

inferredcites →https://doi.org/10.1090/pspum/002/0124250openalex-snapshot

Cylindric algebras

inferredcites →https://doi.org/10.1307/mmj/1028999131openalex-snapshot

On representable relation algebras.

inferredcites →https://doi.org/10.2140/pjm.1961.11.1447openalex-snapshot

On the representation theory for cylindric 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/2267931openalex-snapshot

The Representation of Relational Algebras.

inferredcites →https://doi.org/10.2307/2270900openalex-snapshot

Nonfinitizability of classes of representable cylindric algebras

inferredcites →https://doi.org/10.2307/2372074openalex-snapshot

Boolean Algebras with Operators

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.1002/malq.19890350405openalex-snapshot

Finitary Algebraic Logic

inferred← citeshttps://doi.org/10.1002/malq.200710074openalex-snapshot

Weakly associative relation algebras with projections

inferred← citeshttps://doi.org/10.1007/11828563_2openalex-snapshot

Finite Symmetric Integral Relation Algebras with No 3-Cycles

inferred← citeshttps://doi.org/10.1007/978-94-017-0452-6_3openalex-snapshot

Algebraic Logic

inferred← citeshttps://doi.org/10.1007/bf00370684openalex-snapshot

Algebraization of quantifier logics, an introductory overview

inferred← citeshttps://doi.org/10.1007/bf01191089openalex-snapshot

Free algebras in discriminator varieties

inferred← citeshttps://doi.org/10.1007/bf01221790openalex-snapshot

Bjarni J�nsson's contributions in algebra

inferred← citeshttps://doi.org/10.1007/bf01221799openalex-snapshot

A perspective on the theory of relation algebras

inferred← citeshttps://doi.org/10.1007/bf01224018openalex-snapshot

A non-representable cylindric algebra with pairing functions

inferred← citeshttps://doi.org/10.1007/bf02483728openalex-snapshot

Varieties of relation algebras

inferred← citeshttps://doi.org/10.1007/s00012-004-1842-8openalex-snapshot

Nonrepresentable relation algebras generated by functional elements

inferred← citeshttps://doi.org/10.1007/s00012-005-1916-2openalex-snapshot

Many-valued relation algebras

inferred← citeshttps://doi.org/10.1007/s00012-010-0068-1openalex-snapshot

Equationally distinct countable simple Q-relation algebras

inferred← citeshttps://doi.org/10.1007/s00012-012-0197-9openalex-snapshot

Functionally dense relation algebras

inferred← citeshttps://doi.org/10.1007/s00012-025-00884-wopenalex-snapshot

Representable distributive quasi relation algebras

inferred← citeshttps://doi.org/10.1007/s00236-009-0109-4openalex-snapshot

Embedding mappings and splittings with applications

inferred← citeshttps://doi.org/10.1007/s11225-005-3703-7openalex-snapshot

Łukasiewicz-Moisil Relation Algebras

inferred← citeshttps://doi.org/10.1007/s11225-009-9162-9openalex-snapshot

Weakly higher order cylindric algebras and finite axiomatization of the representables

inferred← citeshttps://doi.org/10.1016/0012-365x(85)90064-0openalex-snapshot

Relation algebras: Concept of points and representability

inferred← citeshttps://doi.org/10.1016/0168-0072(87)90019-4openalex-snapshot

On varieties of cylindric algebras with applications to logic

inferred← citeshttps://doi.org/10.1016/s0049-237x(02)80051-9openalex-snapshot

Bibliography

inferred← citeshttps://doi.org/10.1016/s0049-237x(08)70008-9openalex-snapshot

I. Bibliography of Cylindric Algebras and Related Algebraic Structures

inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00299-xopenalex-snapshot

A short proof of representability of fork algebras

inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00343-6openalex-snapshot

Completeness of a relational calculus for program schemes

inferred← citeshttps://doi.org/10.1090/s0002-9947-1982-0662049-7openalex-snapshot

Some Varieties Containing Relation Algebras

inferred← citeshttps://doi.org/10.1090/s0002-9947-1991-1049616-1openalex-snapshot

Pair-Dense Relation Algebras

inferred← citeshttps://doi.org/10.1093/jigpal/jzp012openalex-snapshot

Neat reducts and amalgamation in retrospect, a survey of results and some methods Part I: Results on neat reducts

inferred← citeshttps://doi.org/10.1109/lics.1998.705649openalex-snapshot

Completeness of a relational calculus for program schemes

inferred← citeshttps://doi.org/10.2307/2273902openalex-snapshot

Alfred Tarski and undecidable theories

inferred← citeshttps://doi.org/10.2307/2586575openalex-snapshot

A completeness theorem for higher order logics

inferred← citeshttps://doi.org/10.31274/etd-180810-1565openalex-snapshot

A formalization of logic in diagonal-free cylindric algebras

inferred← citeshttps://doi.org/10.3233/fun-2000-44404openalex-snapshot

Representability of Pairing Relation Algebras Representability of Pairing Relation Algebras Depends on our Ontology

inferred← citeshttps://doi.org/10.4064/-28-1-201-208openalex-snapshot

Finitary axiomatizations of the true relational equations

inferred← citeshttps://doi.org/10.70930/tac/e2gj966copenalex-snapshot

A Pseudo Representation Theorem for Various Categories of Relations

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.