О логиках, родственных логике, индуцированной исчислением V1 А. Аррудатезисы доклада