Laboratory of Mathematical Logic at PDMI

Пятница, 27 декабря, ауд. 203. Начало в 17:00.

Докладчик: Владимир Лифшиц (University of Texas at Austin).

Тема: Инфинитарные суперинтуиционистские логики и их приложения к программированию.

Abstract

Трёхзначная логика G3, промежуточная между классической и интуиционистской, была определена Гейтингом в 1930 г., и Хосой аксиоматизировал её в 1966 г. В наши дни интерес к этой логике связан с тем, что она описывает важный класс эквивалентных преобразований логических программ. Для того, чтобы применить эту идею к программам, использующим агрегаты, мы изучаем логики, близкие к G3, в языках с бесконечно длинными конъюнкциями и дизъюнкциями. Исследования, на которых основано это сообщение, проводились совместно с Д. Пирсом, А. Вальверде, М. Трущинским и А. Гаррисон.