✦ LIBER ✦

One Chain Generated Varieties of MV-Algebras

✍ Scribed by Antonio Di Nola; Ada Lettieri

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 198 KB
Volume: 225
Category: Article
ISSN: 0021-8693
DOI: 10.1006/jabr.1999.8136

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Equational Characterization of All Varie

Equational Characterization of All Varieties of MV-Algebras

✍ Antonio Di Nola; Ada Lettieri 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 100 KB

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 sub

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

On the category of hyper MV-algebras

✍ Shokoofeh Ghorbani; Esfandiar Eslami; Abbas Hasankhani 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 123 KB

## Abstract In this paper we study the category of hyper MV‐algebras and we prove that it has a terminal object and a coequalizer. We show that Jia's construction can be modified to provide a free hyper MV‐algebra by a set. We use this to show that in the category of hyper MV‐algebras the monomorph

On the Structure of Complete MV-Algebras

✍ Y. Kawano 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 141 KB

Chains of Differential Subvarieties in a

Chains of Differential Subvarieties in an Algebraic Variety

✍ Wai Yan Pong 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 108 KB

Let X be a δ-variety over some δ-field . Denote by td δ X/ , or simply td δ X if the ground field is understood, the δ-transcendental degree of X over . Suppose td δ X = d; Johnson [Comment. Math. Helv. 44 (1969), 207-216] showed that there is an increasing chain of δ-subvarieties of length ωd in X.

Finitely-Generated Algebras of Smooth Fu

Finitely-Generated Algebras of Smooth Functions, in One Dimension

✍ Graham Allan; Grayson Kakiko; A.G O'Farrell; R.O Watson 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 264 KB

We characterise the closure in C (R, R) of the algebra generated by an arbitrary finite point-separating set of C functions. The description is local, involving Taylor series. More precisely, a function f # C belongs to the closure of the algebra generated by 1 , ..., r as soon as it has the ``right