𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Congruence modularity implies cyclic terms for finite algebras

✍ Scribed by Libor Barto; Marcin Kozik; Miklós Maróti; Ralph McKenzie; Todd Niven

Publisher
Springer
Year
2009
Tongue
English
Weight
271 KB
Volume
61
Category
Article
ISSN
0002-5240

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Congruence Modularity Implies the Argues
Congruence Modularity Implies the Arguesian Law for Single Algebras with a Difference Term
✍ Paolo Lipparini 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 147 KB

Recently, a generalization of commutator theory has been developed for algebraic systems belonging to a congruence modular variety. This general commutator theory is used here both to provide a very simple proof of a classical result by R. Freese and B. Jonsson and to solve a problem raised by S. Ts

Intersection of finitely generated congr
Intersection of finitely generated congruences over term algebra
✍ Sándor Vágvölgyi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 350 KB

We show that it is decidable for any given ground term rewrite systems R and S if there is a ground term rewrite system U such that If the answer is yes, then we can e ectively construct such a ground term rewrite system U . In other words, for any given ÿnitely generated congruences and over the t