Линейная логика первого порядка является расширением мультипликативной линейной логики кванторами первого порядка. Исчисление Ламбека и несколько его расширений являются естественными фрагментами логики первого порядка. Логику первого порядка следует рассматривать как своего рода «машинный язык», лежащий в основе этих формализмов. Такой взгляд даёт удобный способ сравнивать разные формализмы и позволяет показать, что, несмотря на исходные различия в логических примитивах, при переводе в логику первого порядка многие из этих подходов оказываются эквивалентными. Всё ли понятно? Если вдруг нет, то, к счастью, запись доклада Ричарда Моота из Университета Монпелье на семинаре НПММвЯ теперь доступна по ссылке: https://www.mathnet.ru/php/seminars.phtml?presentid=49555. На фото — счастливые слушатели, собравшиеся на нашей кафедре!