\documentstyle[12pt]{article}

\begin{document}
\centerline{\Large \bf Algebraic properties of generalized MV-algebras}

\vspace{1.5cm}
\centerline {\large R.Hala\v s, Palack\' y University Olomouc}
\bigskip
The variety of (non-commutative) MV-algebras as a generalization of
classical (commutative) MV-algebras introduced by C.C.Chang
as an algebraic counterpart of the Lukasiewicz infinite valued
propositional logic is studied.

\bigskip

Namely, it is shown that they form a regular subclass of the
variety of BL-algebras (introduced by P. H\' ajek), the finite
basis of ideal terms (in the sense of A. Ursini) is presented
as well as their deductive systems are introduced and studied.


\end{document}