On the public citation graph
Varieties of relation algebras
0 signed · 131 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/bf02485385openalex-snapshot
Some sufficient conditions for the representability of relation algebras
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.1307/mmj/1028998510openalex-snapshot
Relation algebras and projective geometries.
inferredcites →https://doi.org/10.1307/mmj/1029000477openalex-snapshot
Representations of integral relation algebras.
inferredcites →https://doi.org/10.2307/2266861openalex-snapshot
Postulates for the calculus of binary relations
What points at this work
Incoming claims: where this work appears in other papers’ reference lists and arguments.
inferred← citeshttps://doi.org/10.1007/11828563_2openalex-snapshot
Finite Symmetric Integral Relation Algebras with No 3-Cycles
inferred← citeshttps://doi.org/10.1007/3-540-44669-9_34openalex-snapshot
Compositional Homomorphisms of Relational Structures
inferred← citeshttps://doi.org/10.1007/3-540-59293-8_190openalex-snapshot
Rational mechanics and natural mathematics
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-43520-2_8openalex-snapshot
Weakening Relation Algebras and FL$$^2$$-algebras
inferred← citeshttps://doi.org/10.1007/978-3-032-22469-9_8openalex-snapshot
Contractions of Quasi Relation Algebras and Applications to Representability
inferred← citeshttps://doi.org/10.1007/978-3-319-65945-9openalex-snapshot
Advanced Topics in Relation Algebras
inferred← citeshttps://doi.org/10.1007/978-3-7908-1828-4_7openalex-snapshot
Contact Relation Algebras
inferred← citeshttps://doi.org/10.1007/978-3-7908-1888-8_5openalex-snapshot
Rough Sets and Algebras of Relations
inferred← citeshttps://doi.org/10.1007/978-94-015-8273-5_11openalex-snapshot
Relational Semantics for Nonclassical Logics: Formulas are Relations
inferred← citeshttps://doi.org/10.1007/978-94-017-0697-1_6openalex-snapshot
A Survey of Boolean Algebras with Operators
inferred← citeshttps://doi.org/10.1007/bf00370684openalex-snapshot
Algebraization of quantifier logics, an introductory overview
inferred← citeshttps://doi.org/10.1007/bf01188993openalex-snapshot
On inducing homomorphisms between relation set algebras
inferred← citeshttps://doi.org/10.1007/bf01189000openalex-snapshot
Graph algebras and graph varieties
inferred← citeshttps://doi.org/10.1007/bf01190856openalex-snapshot
One variable is not enough for defining relation algebras, but two are
inferred← citeshttps://doi.org/10.1007/bf01191089openalex-snapshot
Free algebras in discriminator varieties
inferred← citeshttps://doi.org/10.1007/bf01195500openalex-snapshot
Axiomatization of identity-free equations valid in relation algebras
inferred← citeshttps://doi.org/10.1007/bf01197179openalex-snapshot
Relativizations of relation algebras by the diversity
inferred← citeshttps://doi.org/10.1007/bf01221799openalex-snapshot
A perspective on the theory of relation algebras
inferred← citeshttps://doi.org/10.1007/bf01229966openalex-snapshot
An abstract theory of invertible relations
inferred← citeshttps://doi.org/10.1007/bfb0019019openalex-snapshot
Terminological representation, natural language & relation algebra
inferred← citeshttps://doi.org/10.1007/bfb0031920openalex-snapshot
Algebraic aspects of the relational knowledge representation: Modal relation algebras
inferred← citeshttps://doi.org/10.1007/bfb0043079openalex-snapshot
Dynamic algebras as a well-behaved fragment of relation algebras
inferred← citeshttps://doi.org/10.1007/pl00003923openalex-snapshot
Unification of Four Versions of Program Semantics
inferred← citeshttps://doi.org/10.1007/s00012-014-0313-0openalex-snapshot
On Varieties of Groupoids of Relations with Operation of Binary Cylindrification
inferred← citeshttps://doi.org/10.1007/s00012-015-0353-0openalex-snapshot
Representability of Ramsey Relation Algebras
inferred← citeshttps://doi.org/10.1007/s00012-018-0546-4openalex-snapshot
Cylindric algebras and finite polyadic algebras
inferred← citeshttps://doi.org/10.1007/s00012-019-0602-8openalex-snapshot
Varieties generated by completions
inferred← citeshttps://doi.org/10.1007/s00012-020-00663-9openalex-snapshot
The structure of generalized BI-algebras and weakening relation algebras
inferred← citeshttps://doi.org/10.1007/s00012-020-0646-9openalex-snapshot
Varieties of semiassociative relation algebras and tense algebras
inferred← citeshttps://doi.org/10.1007/s000120050041openalex-snapshot
Non-embeddable simple relation algebras
inferred← citeshttps://doi.org/10.1007/s000120050043openalex-snapshot
Persistent properties and an application to algebras of logic
inferred← citeshttps://doi.org/10.1007/s00233-015-9695-3openalex-snapshot
On partially ordered semigroups of relations with domino operations
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/s10992-006-9043-xopenalex-snapshot
On Fork Arrow Logic and its Expressive Power
inferred← citeshttps://doi.org/10.1007/s11334-005-0004-2openalex-snapshot
Recoverability preservation: a measure of last resort
inferred← citeshttps://doi.org/10.1016/0004-3702(95)00042-9openalex-snapshot
Relation algebras of intervals
inferred← citeshttps://doi.org/10.1016/0012-365x(88)90078-7openalex-snapshot
Relation algebras and Schröder categories
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/0304-3975(91)90030-6openalex-snapshot
Relation algebraic domain constructions
inferred← citeshttps://doi.org/10.1016/0304-3975(93)90074-4openalex-snapshot
A relational division operator: the conjugate kernel
inferred← citeshttps://doi.org/10.1016/0304-3975(95)00082-8openalex-snapshot
Relation-algebraic semantics
inferred← citeshttps://doi.org/10.1016/0898-1221(92)90146-9openalex-snapshot
Subsumption computed algebraically
inferred← citeshttps://doi.org/10.1016/j.jlamp.2022.100759openalex-snapshot
Monk algebras and Ramsey theory
inferred← citeshttps://doi.org/10.1016/j.jlap.2005.04.003openalex-snapshot
On the complemented disk algebra
inferred← citeshttps://doi.org/10.1016/j.scico.2004.07.003openalex-snapshot
Relational characterizations of system fault tolerance
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/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/s0304-3975(99)00085-7openalex-snapshot
Semantic distance between specifications
inferred← citeshttps://doi.org/10.1016/s0304-3975(99)00156-5openalex-snapshot
A relation – algebraic approach to the region connection calculus
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.1016/s1571-0661(04)80549-8openalex-snapshot
A Completeness Result for Relation Algebra with Binders
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.1017/cbo9781107050884.006openalex-snapshot
Algebras and General Frames
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.007openalex-snapshot
Computability and Complexity
inferred← citeshttps://doi.org/10.1017/cbo9781107050884.012openalex-snapshot
A Guide to the Literature
inferred← citeshttps://doi.org/10.1017/jsl.2016.32openalex-snapshot
ON TARSKI’S AXIOMATIC FOUNDATIONS OF THE CALCULUS OF RELATIONS
inferred← citeshttps://doi.org/10.1017/s1755020319000224openalex-snapshot
NONREPRESENTABLE RELATION ALGEBRAS FROM GROUPS
inferred← citeshttps://doi.org/10.1080/00029890.1992.11995824openalex-snapshot
Boolean Circulants, Groups, and Relation Algebras
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/memo/0604openalex-snapshot
Decision problems for equational theories of relation algebras
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-1987-0884476-5openalex-snapshot
Decidability of Relation Algebras with Weakened Associativity
inferred← citeshttps://doi.org/10.1090/s0002-9939-1991-1052567-5openalex-snapshot
Splitting in relation algebras
inferred← citeshttps://doi.org/10.1090/s0002-9947-1991-1049616-1openalex-snapshot
Pair-Dense Relation Algebras
inferred← citeshttps://doi.org/10.1090/s0002-9947-96-01548-6openalex-snapshot
Decompositions in Quantum Logic
inferred← citeshttps://doi.org/10.1093/jigpal/5.4.565openalex-snapshot
Nonrepresentable sequential algebras
inferred← citeshttps://doi.org/10.1093/jigpal/6.2.203openalex-snapshot
Some classes containing a fork algebra equivalent variety involving projections
inferred← citeshttps://doi.org/10.1093/jigpal/8.4.393openalex-snapshot
Algebraic polymodal logic: a survey
inferred← citeshttps://doi.org/10.1093/jigpal/jzu032openalex-snapshot
On structural completeness versus almost structural completeness problem: A discriminator varieties case study
inferred← citeshttps://doi.org/10.1109/grc.2005.1547348openalex-snapshot
Reasoning about relational granulation in modal logics
inferred← citeshttps://doi.org/10.1109/hicss.2005.492openalex-snapshot
Perspectives on Redundancy: Applications to Software Certification
inferred← citeshttps://doi.org/10.1109/lics.1998.705649openalex-snapshot
Completeness of a relational calculus for program schemes
inferred← citeshttps://doi.org/10.1142/s021819670300147xopenalex-snapshot
VARIETIES OF EQUALITY STRUCTURES
inferred← citeshttps://doi.org/10.1155/2014/140707openalex-snapshot
Relational Demonic Fuzzy Refinement
inferred← citeshttps://doi.org/10.1305/ndjfl/1040408612openalex-snapshot
Representations for Small Relation Algebras
inferred← citeshttps://doi.org/10.18500/1816-9791-2015-15-1-13-22openalex-snapshot
On Variety of Semigroups of Reletions with Operation of Reflexive Double Cylindrification
inferred← citeshttps://doi.org/10.18500/1816-9791-2015-15-1-22-27openalex-snapshot
Comparison Standards Method for Solving of the Multi-criterion Discrete Optimization Problems
inferred← citeshttps://doi.org/10.2178/bsl/1082986262openalex-snapshot
Erdős Graphs Resolve Fine's Canonicity Problem
inferred← citeshttps://doi.org/10.22405/2226-8383-2018-19-1-26-34openalex-snapshot
О базисах тождеств многообразий группоидов отношений
inferred← citeshttps://doi.org/10.2307/2275397openalex-snapshot
Undecidable semiassociative relation algebras
inferred← citeshttps://doi.org/10.2307/2275414openalex-snapshot
The lattice of varieties of representable relation algebras
inferred← citeshttps://doi.org/10.2307/2586485openalex-snapshot
Universal classes of simple relation algebras
inferred← citeshttps://doi.org/10.2307/2694918openalex-snapshot
Undecidable theories of Lyndon algebras
inferred← citeshttps://doi.org/10.26686/ajl.v17i2.6467openalex-snapshot
Non-representable relation algebras from vector spaces
inferred← citeshttps://doi.org/10.3103/s1066369x14080106openalex-snapshot
Identities of semigroups of relations with an operator of reflexive double cylindrification
inferred← citeshttps://doi.org/10.3103/s1066369x15020097openalex-snapshot
On identities of relation algebras with domino operations
inferred← citeshttps://doi.org/10.3233/fi-1999-39301openalex-snapshot
Relations algebras in qualitative spatial reasoning
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.48550/arxiv.1407.0175openalex-snapshot
On structural completeness vs almost structural completeness problem: A discriminator varieties case study
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0505041openalex-snapshot
Relational reasoning in the region connection calculus
inferred← citeshttps://doi.org/10.5281/zenodo.41710openalex-snapshot
Dynamic Selection Of Magnitude And Phase Based Acoustic Feature Streams For Speaker Verification
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.