We determine the number of non‐isomorphic semi‐Heyting algebras on an n‐element chain, where n is a positive integer, using a recursive method. We then prove that the numbers obtained agree with those determined in [1]. We apply the formula to calculate the number of non‐isomorphic semi‐Heyting chains of a given size in some important subvarieties of the variety of semi‐Heyting algebras that were introduced in [5]. We further exploit this recursive method to calculate the numbers of non‐isomorphic semi‐Heyting chains with (...) n elements such that removing the mth element () we are left with a subalgebra. We also solve a related problem posed in [1] of determining the number of ways a semi‐Heyting chain with elements can be extended to a n element semi‐Heyting chain by adding a new element in the mth place. Finally we combine these results by finding a second way to calculate the numbers that provides some extra information. (shrink)

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)

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)

The notion of monadic three-valued ukasiewicz algebras was introduced by L. Monteiro ([12], [14]) as a generalization of monadic Boolean algebras. A. Monteiro ([9], [10]) and later L. Monteiro and L. Gonzalez Coppola [17] obtained a method for the construction of a three-valued ukasiewicz algebra from a monadic Boolea algebra. In this note we give the construction of a monadic three-valued ukasiewicz algebra from a Boolean algebra B where we have defined two quantification operations and * such that *x=*x (where (...) *x=-*-x). In this case we shall say that and * commutes. If B is finite and is an existential quantifier over B, we shall show how to obtain all the existential quantifiers * which commute with .Taking into account R. Mayet [3] we also construct a monadic three-valued ukasiewicz algebra from a monadic Boolean algebra B and a monadic ideal I of B. (shrink)