М.Р. Пентус//Синтаксическое исчисление Ламбека.

Заседание научного семинара "Современные проблемы математической логики" в ВШЭ. Дата и время: 19.09.2025 в 16:20 Докладчик: М.Р. Пентус Название: Синтаксическое исчисление Ламбека. Аннотация: В докладе представлены основные определения и некоторые теоремы про исчисление Ламбека — математическую систему, предназначенную для формализации синтаксиса естественных языков. Исчисление Ламбека относится к неклассической логике.