✦ LIBER ✦

Conditions for Permutability of Congruences in Implication Algebras

✍ Scribed by Diego N. Castaño; José Patricio Díaz Varela

Publisher: Springer Netherlands
Year: 2009
Tongue: English
Weight: 294 KB
Volume: 26
Category: Article
ISSN: 0167-8094
DOI: 10.1007/s11083-009-9123-y

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Quasivarieties and Congruence Permutabil

Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras

✍ M. Campercholi; D. Castaño; J. P. Díaz Varela 📂 Article 📅 2011 🏛 Springer Netherlands 🌐 English ⚖ 232 KB

Mal'cev conditions for Horn sentences wi

Mal'cev conditions for Horn sentences with congruence permutability

✍ G. Czédli 📂 Article 📅 1984 🏛 Akadmiai Kiad 🌐 English ⚖ 675 KB

A Mal'cev condition for congruence princ

A Mal'cev condition for congruence principal permutable varieties

✍ Ivan Chajda 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 135 KB

Congruences and automorphisms in cells o

Congruences and automorphisms in cells of post algebras

✍ I. A. Mal'tsev 📂 Article 📅 1972 🏛 Springer US 🌐 English ⚖ 239 KB

Identities in congruence lattices of uni

Identities in congruence lattices of universal algebras

✍ S. V. Polin 📂 Article 📅 1977 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 402 KB

Uniqueness of the implication for totall

Uniqueness of the implication for totally ordered MV-algebras

✍ Néstor G. Martı́nez; Alejandro Petrovich 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 90 KB

It is shown that in a linearly ordered MV-algebra A, the implication is unique if and only if the identity function is the unique De Morgan automorphism on A. Modulo categorical equivalence, our uniqueness criterion recalls Ohkuma's rigidness condition for totally ordered abelian groups. We also sho