Decision problems for distributive lattice-ordered semigroups
From MaRDI portal
Publication:1891276
DOI10.1007/BF01190708zbMATH Open0819.06013MaRDI QIDQ1891276FDOQ1891276
Authors: Alasdair Urquhart 
Publication date: 30 May 1995
Published in: Algebra Universalis (Search for Journal in Brave)
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
word problemdecision problemsunsolvable problemslattice-ordered semigroupsvon Neumann coordinatization theorem
Decidability of theories and sets of sentences (03B25) Ordered semigroups and monoids (06F05) Word problems (aspects of algebraic structures) (08A50)
Cites Work
- The undecidability of entailment and relevant implication
- Representation of Distributive Lattices by means of ordered Stone Spaces
- Boolean Algebras with Operators. Part I
- Title not available (Why is that?)
- Recursive unsolvability of group theoretic problems
- A duality for Boolean algebras with operators
- Free Modular Lattices
- Representations of distributive lattice-ordered semigroups with binary relations
- Title not available (Why is that?)
- Recursively unsolvable word problems of modular lattices and diagram- chasing
- The Undecidability of the Word Problems for Projective Geometries and Modular Lattices
- Title not available (Why is that?)
- Title not available (Why is that?)
Cited In (11)
- Title not available (Why is that?)
- The Word Problem Versus the Isomorphism Problem
- On strictly positive lattice ordered semigroups
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
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)
