MV algebra