On the public citation graph

Representations of distributive lattice-ordered semigroups with binary relations

https://doi.org/10.1007/bf01190407
0 signed · 51 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.2307/2274756openalex-snapshot
Nonfinite axiomatizability results for cylindric and relation 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
inferredcites →https://doi.org/10.4064/cm-39-1-1-12openalex-snapshot
Representations of ordered semigroups and lattices 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/3-540-46766-1_1openalex-snapshot
A Calculus for Access Control in Distributed Systems
inferred← citeshttps://doi.org/10.1007/978-3-030-64187-0_12openalex-snapshot
On the Representation of Boolean Magmas and Boolean Semilattices
inferred← citeshttps://doi.org/10.1007/978-3-540-24771-5_15openalex-snapshot
A Note on Complex Algebras of Semigroups
inferred← citeshttps://doi.org/10.1007/978-3-540-78913-0_18openalex-snapshot
The Structure of the One-Generated Free Domain Semiring
inferred← citeshttps://doi.org/10.1007/978-3-642-29485-3_1openalex-snapshot
Residuated Kleene Algebras
inferred← citeshttps://doi.org/10.1007/bf01049413openalex-snapshot
Taming logic
inferred← citeshttps://doi.org/10.1007/bf01066355openalex-snapshot
Lambek Calculus and its relational semantics: Completeness and incompleteness
inferred← citeshttps://doi.org/10.1007/bf01190708openalex-snapshot
Decision problems for distributive lattice-ordered semigroups
inferred← citeshttps://doi.org/10.1007/bf01225472openalex-snapshot
The equational theory of union-free algebras of relations
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-2055-8openalex-snapshot
Representable semilattice-ordered monoids
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-016-0409-9openalex-snapshot
Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
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-00719-4openalex-snapshot
Axioms for signatures with domain and demonic composition
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/s000120050150openalex-snapshot
Axiomatizability of reducts of algebras of relations
inferred← citeshttps://doi.org/10.1007/s00233-004-0176-3openalex-snapshot
On Varieties of Semilattice-Ordered Semigroups
inferred← citeshttps://doi.org/10.1007/s00233-013-9513-8openalex-snapshot
Cayley’s and Holland’s Theorems for Idempotent Semirings and Their Applications to Residuated Lattices
inferred← citeshttps://doi.org/10.1007/s00233-025-10521-6openalex-snapshot
On groupoids associated with involution semigroups
inferred← citeshttps://doi.org/10.1016/0304-3975(94)00041-gopenalex-snapshot
Equational properties of Kleene algebras of relations with conversion
inferred← citeshttps://doi.org/10.1016/j.entcs.2006.05.046openalex-snapshot
Reasoning with Graphs
inferred← citeshttps://doi.org/10.1016/j.ic.2008.11.004openalex-snapshot
On graph reasoning
inferred← citeshttps://doi.org/10.1016/j.jlamp.2014.08.007openalex-snapshot
Monoids with tests and the algebra of possibly non-halting programs
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.jlap.2010.07.019openalex-snapshot
Axiomatizability of representable domain algebras
inferred← citeshttps://doi.org/10.1016/s0049-237x(02)80051-9openalex-snapshot
Bibliography
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(98)00032-3openalex-snapshot
Notions of density that imply representability in algebraic logic
inferred← citeshttps://doi.org/10.1016/s0304-3975(96)00248-4openalex-snapshot
The equational logic of fixed points
inferred← citeshttps://doi.org/10.1017/s1755020310000249openalex-snapshot
POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS
inferred← citeshttps://doi.org/10.1023/b:stud.0000032089.54776.63openalex-snapshot
From Semirings to Residuated Kleene Lattices
inferred← citeshttps://doi.org/10.1093/jigpal/jzm054openalex-snapshot
On Positive Relational Calculi
inferred← citeshttps://doi.org/10.1093/jigpal/jzq044openalex-snapshot
On representable ordered residuated semigroups
inferred← citeshttps://doi.org/10.1093/logcom/exn099openalex-snapshot
Algebras of Relations and Relevance Logic
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.1145/155183.155225openalex-snapshot
A calculus for access control in distributed systems
inferred← citeshttps://doi.org/10.2178/jsl.7704090openalex-snapshot
Undecidability of representability as binary relations
inferred← citeshttps://doi.org/10.2298/fil2521287aopenalex-snapshot
The L-fuzzy bi-ideal degrees and its induced convex structure
inferred← citeshttps://doi.org/10.2307/2275127openalex-snapshot
European summer meeting of the Association for Symbolic Logic
inferred← citeshttps://doi.org/10.4064/-28-1-209-217openalex-snapshot
Strong completeness of the Lambek Calculus with respect to Relational Semantics
inferred← citeshttps://doi.org/10.4213/mzm12020openalex-snapshot
О классах обобщенных подредуктов алгебр отношений Тарского с одной диофантовой бинарной операцией
inferred← citeshttps://doi.org/10.48550/arxiv.1503.03192openalex-snapshot
Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
inferred← citeshttps://doi.org/10.48550/arxiv.1811.01712openalex-snapshot
Domain and range for angelic and demonic compositions
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.