Representations of distributive lattice-ordered semigroups with binary relations
From MaRDI portal
Publication:2277499
DOI10.1007/BF01190407zbMath0725.06007OpenAlexW31834033MaRDI QIDQ2277499
Publication date: 1991
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01190407
Related Items
Decision problems for distributive lattice-ordered semigroups, The equational theory of union-free algebras of relations, On quasi-identities of relation algebras with Diophantine operations, Taming logic, Complexity of equations valid in algebras of relations. I: Strong non-finitizability, Axioms for signatures with domain and demonic composition, The equational logic of fixed points, The Structure of the One-Generated Free Domain Semiring, On the variety generated by generalized subreducts of Tarski's algebras of relations, Axiomatizability of representable domain algebras, Axiomatizability of positive algebras of binary relations, On Jónsson's problem for groupoids of relations with operation of binary cylindrification, Domain and range for angelic and demonic compositions, Undecidability of representability as binary relations, POSITIVE FRAGMENTS OF RELEVANCE LOGIC AND ALGEBRAS OF BINARY RELATIONS, Completeness for Identity-free Kleene Lattices, Equational properties of Kleene algebras of relations with conversion, Reasoning with Graphs, Monoids with tests and the algebra of possibly non-halting programs, On algebras of binary relations with conjunctive operations, On graph reasoning, On generalized subreducts of Tarski's algebras of relations with the operation of bi-directional intersection, Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups, On classes of generalized subreducts of Tarski's relation algebras with one Diophantine binary operation, Modal languages and bounded fragments of predicate logic, Equational theories for automata, Notions of density that imply representability in algebraic logic, On the Representation of Boolean Magmas and Boolean Semilattices, Lambek calculus and its relational semantics: Completeness and incompleteness
Cites Work
