𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Equational Characterization of All Varieties of MV-Algebras

✍ Scribed by Antonio Di Nola; Ada Lettieri

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
100 KB
Volume
221
Category
Article
ISSN
0021-8693

No coin nor oath required. For personal study only.

✦ Synopsis

It is known that all subvarieties of MV-algebras are finitely axiomatizable. In the literature, one can find equational characterizations of certain subvarieties, such as MV -algebras. In this paper we write down equational bases for all MV-varieties n and prove a representation theorem for each subvariety.

📜 SIMILAR VOLUMES

Natural Dualities for Varieties of MV-Al
Natural Dualities for Varieties of MV-Algebras, I
✍ Philippe Niederkorn 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 133 KB

MV-algebras are the Lindenbaum algebras for Łukasiewicz's infinite-valued logic, just as Boolean algebras correspond to the classical propositional calculus. The finitely generated subvarieties of the variety M M of all MV-algebras are generated by finite chains. We develop a natural duality, in the

Representations of MV-algebras by sheave
Representations of MV-algebras by sheaves
✍ Anna R. Ferraioli; Ada Lettieri 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB

In this paper, inspired by methods of Bigard, Keimel, and Wolfenstein ([2]), we develop an approach to sheaf representations of MV-algebras which combines two techniques for the representation of MV-algebras devised by Filipoiu and Georgescu ([18]) and by Dubuc and Poveda ([16]). Following Davey app

New types of hyper MV-deductive systems
New types of hyper MV-deductive systems in hyper MV-algebras
✍ Young Bae Jun; Min Su Kang; Hee Sik Kim 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 84 KB

## Abstract The notions of a (weak) hyper MV‐deductive system, a (⊆, ⊆; ⊆)‐hyper MV‐deductive system, a (≪, ⊆; ⊆)‐ hyper MV‐deductive system, a (≪, ≪; ⊆)‐hyper MV‐deductive system, a (≪, ≪; ≪)‐hyper MV‐deductive system and a (∩, ∩; ∩)‐hyper MV‐deductive system are introduced, and then their relatio

Varieties of Anticommutativen-ary Algebr
Varieties of Anticommutativen-ary Algebras
✍ Murray Bremner 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 188 KB

A fundamental problem in the theory of n-ary algebras is to determine the correct generalization of the Jacobi identity. This paper describes some computational results on this problem using representations of the symmetric group. It is well known that over a field of characteristic 0 any variety of