In this paper some properties of quadratic forms whose base points lie in the point set Fπ , the fundamental domain of the modular group, and transforming these forms into the reduced forms with the same discriminant ∆ < 0 are given.
In the paper we deal with weak Boolean products of bounded dually residuated l-monoids (DRl-monoids). Since bounded DRl-monoids are a generalization of pseudo MValgebras and pseudo BL-algebras, the results can be immediately applied to these algebras.