Аннотация:
В этом докладе мы постараемся провести современный обзор семантики для интуиционистских пропозиционных систем. Мы рассмотрим семантики Крипке, Бета, Драгалина, топологические и алгебраические. Доклад основан на работе Guram Bezhanishvili и Wesley H. Holliday "A semantic hierarchy for intuitionistic logic", 2019.
Обратная связь: