Tomova's natural logics in proof-theoretical settingдоклад на конференции