On implication in MV-algebras

From MaRDI portal
Publication:873745