On the public citation graph
The equational theory of union-free algebras of relations
0 signed · 68 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/bf00370684openalex-snapshot
Algebraization of quantifier logics, an introductory overview
inferredcites →https://doi.org/10.1007/bf01190407openalex-snapshot
Representations of distributive lattice-ordered semigroups with binary relations
inferredcites →https://doi.org/10.1007/bf01190418openalex-snapshot
A remark on representable positive cylindric algebras
inferredcites →https://doi.org/10.1007/bf02573019openalex-snapshot
Relation algebras and function semigroups
inferredcites →https://doi.org/10.1016/s0049-237x(13)70001-6openalex-snapshot
Studies in Logic and the Foundations of Mathematics
inferredcites →https://doi.org/10.1090/coll/041openalex-snapshot
A Formalization of Set Theory without Variables
inferredcites →https://doi.org/10.1090/s0002-9904-1926-04156-2openalex-snapshot
The Colloquium publications
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/s0273-0979-1987-15483-8openalex-snapshot
Arguesian lattices which are not linear
inferredcites →https://doi.org/10.2307/2964059openalex-snapshot
W. Ackermann. Solvable cases of the decision problem. Studies in logic and the foundations of mathematics. North-Holland Publishing Company, Amsterdam1954, VIII + 114 pp.
inferredcites →https://doi.org/10.4064/cm-39-1-1-12openalex-snapshot
Representations of ordered semigroups and lattices by binary relations
inferredcites →https://doi.org/10.4064/fm-82-2-121-141openalex-snapshot
Representation of involuted semigroups by 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/10721975_7openalex-snapshot
Normal Forms and Reduction for Theories of Binary Relations
inferred← citeshttps://doi.org/10.1007/978-3-030-02149-8_6openalex-snapshot
Decidability of Equational Theories for Subsignatures of Relation Algebra
inferred← citeshttps://doi.org/10.1007/978-3-030-43520-2_13openalex-snapshot
Expressive Power and Succinctness of the Positive Calculus of Relations
inferred← citeshttps://doi.org/10.1007/978-3-030-86062-2_12openalex-snapshot
Presenting Basic Graph Logic
inferred← citeshttps://doi.org/10.1007/978-3-030-88701-8_9openalex-snapshot
The Class of Representable Semilattice-Ordered Monoids Is Not a Variety
inferred← citeshttps://doi.org/10.1007/978-3-031-68279-7_13openalex-snapshot
Undecidability of the Positive Calculus of Relations with Transitive Closure and Difference: Hypothesis Elimination Using Graph Loops
inferred← citeshttps://doi.org/10.1007/978-3-642-14600-8_11openalex-snapshot
A Calculus for Graphs with Complement
inferred← citeshttps://doi.org/10.1007/978-3-642-31223-6_40openalex-snapshot
A Graph Calculus for Proving Intuitionistic Relation Algebraic Equations
inferred← citeshttps://doi.org/10.1007/978-3-662-58771-3_11openalex-snapshot
The Undecidability of FO3 and the Calculus of Relations with Just One Binary Relation
inferred← citeshttps://doi.org/10.1007/bf02674896openalex-snapshot
On quasi-identities of relation algebras with diophantine operations
inferred← citeshttps://doi.org/10.1007/bf02684080openalex-snapshot
Reducts of Tarski relation algebras
inferred← citeshttps://doi.org/10.1007/s00012-007-2034-0openalex-snapshot
On the variety question for wRRA
inferred← citeshttps://doi.org/10.1007/s00012-011-0142-3openalex-snapshot
Axiomatizability of positive algebras of binary relations
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-018-0558-0openalex-snapshot
On generalized subreducts of Tarski’s algebras of relations with the operation of bi-directional intersection
inferred← citeshttps://doi.org/10.1007/s00012-020-00677-3openalex-snapshot
On Jónsson’s problem for groupoids of relations with operation of binary cylindrification
inferred← citeshttps://doi.org/10.1007/s00012-021-00730-9openalex-snapshot
On algebras of binary relations with conjunctive operations
inferred← citeshttps://doi.org/10.1007/s00012-023-00826-4openalex-snapshot
On the variety generated by generalized subreducts of Tarski’s algebras of relations
inferred← citeshttps://doi.org/10.1007/s000120050045openalex-snapshot
On clones generated by primitive-positive operations of Tarski's relation algebras
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/s00233-025-10521-6openalex-snapshot
On groupoids associated with involution semigroups
inferred← citeshttps://doi.org/10.1007/s11225-022-09993-2openalex-snapshot
On Groupoids of Relations with One Conjunctive Operation of Rank 2
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.07.005openalex-snapshot
Algorithms for Kleene algebra with converse
inferred← citeshttps://doi.org/10.1016/j.jlamp.2018.11.002openalex-snapshot
Domain and range for angelic and demonic compositions
inferred← citeshttps://doi.org/10.1016/j.jlamp.2022.100760openalex-snapshot
Expressive power and succinctness of the positive calculus of binary relations
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.03.023openalex-snapshot
Normal forms for binary relations
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.09.024openalex-snapshot
The equational theory of Kleene lattices
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(97)00028-6openalex-snapshot
Complexity of equations valid in algebras of relations part II: Finite axiomatizations
inferred← citeshttps://doi.org/10.1093/jigpal/8.2.165openalex-snapshot
Products of modal logics. Part 2: relativised quantifiers in classical logic
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.2015.17openalex-snapshot
Petri Automata for Kleene Allegories
inferred← citeshttps://doi.org/10.1109/lics.2017.8005132openalex-snapshot
Partial derivatives on graphs for Kleene allegories
inferred← citeshttps://doi.org/10.1109/lics56636.2023.10175811openalex-snapshot
Existential Calculi of Relations with Transitive Closure: Complexity and Edge Saturations
inferred← citeshttps://doi.org/10.1134/s0001434619110221openalex-snapshot
On Classes of Generalized Subreducts of Tarski’s Relation Algebras with One Diophantine Binary Operation
inferred← citeshttps://doi.org/10.1134/s1995080220020043openalex-snapshot
On Algebras of Relations with Operations of Left and Right Reflexive Product
inferred← citeshttps://doi.org/10.1145/3571257openalex-snapshot
Deconstructing the Calculus of Relations with Tape Diagrams
inferred← citeshttps://doi.org/10.1145/3798208openalex-snapshot
RAT-CAT-SAT: Model Checking Memory Consistency Models
inferred← citeshttps://doi.org/10.18500/1816-9791-2009-9-3-3-7openalex-snapshot
On Varieties of Partially Ordered Semigroups with Operations of Cylindrification
inferred← citeshttps://doi.org/10.18500/1816-9791-2009-9-3-7-14openalex-snapshot
Absolute Convergence of Single and Double Fourier Series on Multiplicative Systems
inferred← citeshttps://doi.org/10.18500/1816-9791-2013-13-4-23-28openalex-snapshot
Semisimple Graded Rings
inferred← citeshttps://doi.org/10.18500/1816-9791-2013-13-4-28-34openalex-snapshot
On Classes of Groupoids of Relations with Diophantine Operations
inferred← citeshttps://doi.org/10.18500/1816-9791-2026-26-3-323-334openalex-snapshot
On associative conjunctive operations on binary relations
inferred← citeshttps://doi.org/10.2178/jsl.7704090openalex-snapshot
Undecidability of representability as binary relations
inferred← citeshttps://doi.org/10.2178/jsl/1327068701openalex-snapshot
On canonicity and completions of weakly representable relation algebras
inferred← citeshttps://doi.org/10.22405/2226-8383-2018-19-1-26-34openalex-snapshot
О базисах тождеств многообразий группоидов отношений
inferred← citeshttps://doi.org/10.3103/s1066369x15020097openalex-snapshot
On identities of relation algebras with domino operations
inferred← citeshttps://doi.org/10.3103/s1066369x18080029openalex-snapshot
Identities of Groupoids of Relations With Operation of Cylindered Intersection
inferred← citeshttps://doi.org/10.31274/rtd-180813-15417openalex-snapshot
Weak representation theory in the calculus of relations
inferred← citeshttps://doi.org/10.4213/mzm12020openalex-snapshot
О классах обобщенных подредуктов алгебр отношений Тарского с одной диофантовой бинарной операцией
inferred← citeshttps://doi.org/10.48550/arxiv.1704.01391openalex-snapshot
Ordered Monoids: Languages and Relations
inferred← citeshttps://doi.org/10.70675/d369fcf0z8522z41eezac67z44f751da5b09openalex-snapshot
Algebras of Relations : from algorithms to formal proofs
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.