Advanced łukasiewicz calculus and MV-algebras.