Первоуровневая релевантная логика, её родственники и формальные модели рассужденийдоклад на конференции