Аннотация:
Линейная логика опускает структурные правила ослабления и сокращения в исчислении секвенций. Некоммутативная линейная логика опускает еще и правило перестановки. На докладе будет разобрана статья Браун и Гурра (Relations and non-commutative linear logic, 1993), в которой для
интуиционистской некоммутативной линейной логики (ИНЛЛ) дается алгебраическая семантика в кванталях. Доказывается корректность и полнота ИНЛЛ в этом классе моделей. Как отдельный случай рассматриваются реляционные квантали.
Обратная связь: