✦ LIBER ✦

A property of the lattice of equational theories

✍ Scribed by William A. Lampe

Publisher: Springer
Year: 1986
Tongue: English
Weight: 440 KB
Volume: 23
Category: Article
ISSN: 0002-5240
DOI: 10.1007/bf01190912

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Congruences, equational theories and lat

Congruences, equational theories and lattice representations

✍ William A. Lampe 📂 Article 📅 1996 🏛 Springer Netherlands 🌐 English ⚖ 644 KB

Non-covering in the interpretability lat

Non-covering in the interpretability lattice of equational theories

✍ Ralph McKenzie; Stanislaw Świerczkowski 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 664 KB

On the covering relation in the interpre

On the covering relation in the interpretability lattice of equational theories

✍ Ralph McKenzie 📂 Article 📅 1993 🏛 Springer 🌐 English ⚖ 997 KB

On decidability of equational theories

✍ Harvey Friedman 📂 Article 📅 1976 🏛 Elsevier Science 🌐 English ⚖ 266 KB

Equational theories of tropical semiring

Equational theories of tropical semirings

✍ Luca Aceto; Zoltán Ésik; Anna Ingólfsdóttir 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 446 KB

This paper studies the equational theories of various exotic semirings presented in the literature. Exotic semirings are semirings whose underlying carrier set is some subset of the set of real numbers equipped with binary operations of minimum or maximum as sum, and addition as product. Two prime e

Partial completion of equational theorie

Partial completion of equational theories

✍ Yongqiang Sun; Kai Lin; Chaojun Lu 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 447 KB