#матлог #доклад

1 октября на семинаре Совета молодых учёных РАН «Выбор в науке» выступит С.Л. Кузнецов с обзорным докладом на тему «Субструктурные логики в лингвистике и информатике».

Время: 1 октября 2024 (вторник), 16:30
Место: конференц-зал ИПМех РАН, Москва, пр-т Вернадского, 101 корп. 1 (https://ipmnet.ru/contacts/)
Регистрация для прохода в здание по ссылке: https://clck.ru/39pL6w
(внимание: регистрация открыта до 12:00 понедельника 30 сентября)

Аннотация:
Современная математическая логика включает в себя исследования неклассических логических систем, в которых логические операции ("и", "или", "если – то", "не" и т.д.) подчиняются несколько иным законам, чем в логике классической. Одним из интересных семейств таких систем являются субструктурные логики, в которых исключены или ограничены законы сокращения (из A можно вывести "A и A", и таким образом использовать одно утверждение несколько раз), ослабления (можно добавлять посылки, даже если они не используются в рассуждении), перестановки. Такие логики применяются для рассуждений об ограниченных ресурсах: логические формулы понимаются не как абстрактные утверждения, а как расходуемые ресурсы, которые нельзя свободно копировать или уничтожать. Если не допускается и правило перестановки, то важен также порядок использования ресурсов. В рамках доклада будет рассказано о применении субструктурных логик в информатике, для спецификации и верификации программ, и в лингвистике, для описания синтаксиса естественных языков.

🔗 Институт проблем механики им. А.Ю. Ишлинского РАН (ИПМех РАН) - Контакты, схема проезда


📝 VYBOR_seminar_2024-10-01.pdf

➰ ВК