Decision problems for distributive lattice-ordered semigroups

DOI10.1007/BF01190708MaRDI QIDQ1891276zbMATH OpenFDO

Authors Alasdair Urquhart

Publication date 30 May 1995

Published in Algebra Universalis (Search for Journal in Brave)

zbMATH Keywords

word problemdecision problemsunsolvable problemslattice-ordered semigroupsvon 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)

Recommendations

• scientific article; zbMATH DE number 989181
• scientific article; zbMATH DE number 1535398
• On distributive \(l\)-semilattices
• Representations of distributive lattice-ordered semigroups with binary relations
• A decision problem for varieties of commutative semigroups
• Decision problem for orthomodular lattices
• scientific article; zbMATH DE number 3561332
• scientific article; zbMATH DE number 1054167
• scientific article; zbMATH DE number 1157194
• DECISION AND SEPARABILITY PROBLEMS FOR BAUMSLAG–SOLITAR SEMIGROUPS

Cites work

• scientific article; zbMATH DE number 3875354 (Why is no real title available?)
• scientific article; zbMATH DE number 3922732 (Why is no real title available?)
• scientific article; zbMATH DE number 3273222 (Why is no real title available?)
• scientific article; zbMATH DE number 3065840 (Why is no real title available?)
• A duality for Boolean algebras with operators
• Boolean Algebras with Operators. Part I
• Free Modular Lattices
• Recursive unsolvability of group theoretic problems
• Recursively unsolvable word problems of modular lattices and diagram- chasing
• Representation of Distributive Lattices by means of ordered Stone Spaces
• Representations of distributive lattice-ordered semigroups with binary relations
• The Undecidability of the Word Problems for Projective Geometries and Modular Lattices
• The undecidability of entailment and relevant implication

Cited in

(11)

• scientific article; zbMATH DE number 4075136 (Why is no real title available?)
• The Word Problem Versus the Isomorphism Problem
• On strictly positive lattice ordered semigroups
• scientific article; zbMATH DE number 2208122 (Why is no real title available?)
• Undecidability of representability for lattice-ordered semigroups and ordered complemented semigroups
• A Logical Autobiography
• An algebraic glimpse at bunched implications and separation logic
• DECISION AND SEPARABILITY PROBLEMS FOR BAUMSLAG–SOLITAR SEMIGROUPS
• scientific article; zbMATH DE number 3950598 (Why is no real title available?)
• scientific article; zbMATH DE number 3875354 (Why is no real title available?)
• scientific article; zbMATH DE number 4137743 (Why is no real title available?)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1891276)