In this paper we give an explicit description of the left adjoint of the forgetful functor from the algebraic category of Gödel algebras with successor to the algebraic category of bounded prelinear Hilbert algebras with ...

Ewald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras ...

This is a contribution to the classification of finite-dimensional Hopf algebras over an algebraically closed field k of characteristic 0. Concretely, we show that a finite-dimensional Hopf algebra whose Hopf coradical is ...

Łukasiewicz implication algebras are the {→,1}-subreducts of MV- algebras. They are the algebraic counterpart of Super-Łukasiewicz Implicational Logics investigated in Komori (Nogoya Math J 72:127-133, 1978). In this paper ...

In this paper, we introduce the variety of algebras, which we call monadic kxj-rough Heyting algebras. These algebras constitute an extension of monadic Heyting algebras and in 3x2 case they coincide with monadic 3-valued ...

Extending the relation between semi-Heyting algebras and semi-Nelson algebras to dually hemimorphic semi-Heyting algebras, we introduce and study the variety of dually hemimorphic semi-Nelson algebras and some of its ...

We present examples of color Hopf algebras, i.e. Hopf algebras in color categories (braided tensor categories with braiding induced by a bicharacter on an abelian group), related with quantum doubles of pointed Hopf algebras. ...

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 ...

Let K be a field of characteristic zero, g be a finite dimensional K-Lie algebra and let A be a finite dimensional associative and commutative K-algebra with unit. We describe the structure of the Lie algebra of derivations ...

Free algebras with an arbitrary number of free generators in varieties of BL-algebras generated by one BL-chain that is an ordinal sum of a finite MV-chain Ln and a generalized BL-chain B are described in terms of weak ...