Sequent logic in foundations of science: history and current researchдоклад на конференции