Decision problems for distributive lattice-ordered semigroups

DOI10.1007/BF01190708zbMath0819.06013MaRDI QIDQ1891276

Alasdair Urquhart

Publication date: 30 May 1995

Published in: Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

decision problemsword problemlattice-ordered semigroupsunsolvable problemsvon Neumann coordinatization theorem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Ordered semigroups and monoids (06F05) Word problems (aspects of algebraic structures) (08A50)

Related Items (2)

An algebraic glimpse at bunched implications and separation logic ⋮ A Logical Autobiography

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A duality for Boolean algebras with operators
• Recursively unsolvable word problems of modular lattices and diagram- chasing
• Recursive unsolvability of group theoretic problems
• Representations of distributive lattice-ordered semigroups with binary relations
• The undecidability of entailment and relevant implication
• Free Modular Lattices
• The Undecidability of the Word Problems for Projective Geometries and Modular Lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Boolean Algebras with Operators. Part I

This page was built for publication: Decision problems for distributive lattice-ordered semigroups