Algebraic structures related to many valued logical systems - part I: Heyting Wajsberg algebras