Арифметическая семантика строго позитивных логикдоклад на конференции