Popov, V. M. On the Logics Related to A. Arruda’s System V1. LLP 2004, 7, 87-90.