Аффинная логика
-
Определение и история аффинной логики
- Аффинная логика — это субструктурная логика без правила сжатия.
- Она также известна как линейная логика с ослаблением.
- Название «аффинная логика» связано с линейной логикой и аффинными преобразованиями в векторных пространствах.
- Аффинная логика предшествует линейной логике и использовалась для решения парадокса Рассела.
-
Связь с линейной логикой
- Аффинная стрелка может быть переписана как линейная стрелка.
- Полная аффинная логика разрешима, в то время как полная линейная логика неразрешима.
-
Применение и исследования
- Аффинная логика лежит в основе лудики.
- В.Н. Гришин использовал эту логику для разработки теории множеств без правила сокращения.
- Существуют исследования, посвященные применению аффинной логики в логике и информатике.
-
Рекомендации и расширение статьи
- В статье есть ссылки на работы В.Н. Гришина и других авторов, которые могут быть полезны для расширения статьи.