Логики, родственные системе V1 А.Арруда: семантика описаний состояния и генценовские формулировкитезисы доклада