For each integer n ≥ 2, MVn denotes the variety of MV-algebras generated by the MV-chain with n elements. Algebras in MVn are represented as continuous functions from a Boolean space into a n-element chain equipped with the discrete topology. Using these representations, maximal subalgebras of algebras in MVn are characterized, and it is shown that proper subalgebras are intersection of maximal subalgebras. When A ∈ MV3, the mentioned characterization of maximal subalgebras of A can be given in terms of (...) prime filters of the underlying lattice of A, in the form that was conjectured by A. Monteiro. (shrink)

In the present paper we give a description of the free algebra over an arbitrary set of generators in the variety of nilpotent minimum algebras. Such description is given in terms of a weak Boolean product of directly indecomposable algebras over the Boolean space corresponding to the Boolean subalgebra of the free NM-algebra.

We give a presentation of Post algebras of ordern+1 (n1) asn+1 bounded Wajsberg algebras with an additional constant, and we show that a Wajsberg algebra admits a P-algebra reduct if and only if it isn+1 bounded.

We introduce Łukasiewicz-Moisil relation algebras, obtained by considering a relational dimension over Łukasiewicz-Moisil algebras. We prove some arithmetical properties, provide a characterization in terms of complex algebras, study the connection with relational Post algebras and characterize the simple structures and the matrix relation algebras.

The Priestley duality for Wajsberg algebras is developed. The Wajsberg space is a De Morgan space endowed with a family of functions that are obtained in rather natural way.As a first application of this duality, a theorem about unicity of the structure is given.

An alternative notion of an existential quantifier on four-valued Łukasiewicz algebras is introduced. The class of four-valued Łukasiewicz algebras endowed with this existential quantifier determines a variety which is denoted by \. It is shown that the alternative existential quantifier is interdefinable with the standard existential quantifier on a four-valued Łukasiewicz algebra. Some connections between the new existential quantifier and the existential quantifiers defined on bounded distributive lattices and Boolean algebras are given. Finally, a completeness theorem for the monadic four-valued (...) Łukasiewicz predicate calculus corresponding to the dual of the alternative existential quantifier is proven. (shrink)

We introduce the notion of n-nuanced MV-algebra by performing a Łukasiewicz–Moisil nuancing construction on top of MV-algebras. These structures extend both MV-algebras and Łukasiewicz–Moisil algebras, thus unifying two important types of structures in the algebra of logic. On a logical level, n-nuanced MV-algebras amalgamate two distinct approaches to many valuedness: that of the infinitely valued Łukasiewicz logic, more related in spirit to the fuzzy approach, and that of Moisil n-nuanced logic, which is more concerned with nuances of truth rather than (...) truth degree. We study n-nuanced MV-algebras mainly from the algebraic and categorical points of view, and also consider some basic model-theoretic aspects. The relationship with a suitable notion of n-nuanced ordered group via an extension of the Γ construction is also analyzed. (shrink)