  The article explores the arithmetic of multiplication as a model of many
valued projective logic. It is demonstrated that closed numerical intervals
within this framework constitute Heyting algebras. The conditions for these
algebras to be Boolean are identified. The article claims have undergone
numerical verification. Paths for generalization to normed linear spaces are
delineated.
