Decision problems for distributive lattice-ordered semigroups-Reference-Cited by-同舟云学术

Decision problems for distributive lattice-ordered semigroups

Published:1995-09 Issue:3 Volume:33 Page:399-418
ISSN:0002-5240
Container-title:Algebra Universalis
language:en
Short-container-title:Algebra Universalis

Author:

Urquhart A.

Publisher

Springer Science and Business Media LLC

Subject

Algebra and Number Theory

Link

http://link.springer.com/content/pdf/10.1007/BF01190708.pdf

Reference23 articles.

1. Anderson, A. R. andBelnap, N. D., Jr.,Entailment. Vol. 1, Princeton U.P., Princeton, 1975.

2. Anderson, A. R., Belnap, N. D. Jr. andDunn, J. M.,Entailment, Vol. 2, Princeton U.P., Princeton, 1992.

3. Andr�ka, H.,Representations of distributive lattice-ordered semigroups with binary relations, Algebra Universalis28 (1991), 12?25.

4. Birkhoff, G.,Lattice Theory, American Mathematical Society, Providence. Rhode Island, 1973.

5. Chin, L. andTarski, A.,Distributive and modular laws in the arithmetic of relation algebras. University of California Publications in Mathematics, new series, Vol. 1, no. 9 (1951), 341?384.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Algebraic Glimpse at Bunched Implications and Separation Logic;Outstanding Contributions to Logic;2021-12-14

2. Semisimplicity;Residuated Lattices: An Algebraic Glimpse at Substructural Logics;2007

3. Bibliography;Residuated Lattices: An Algebraic Glimpse at Substructural Logics;2007

4. The word problem for involutive residuated lattices and related structures;Archiv der Mathematik;2006-12

5. The Undecidability of the Word Problem for Distributive Residuated Lattices;Ordered Algebraic Structures;2002