Защитная сетка
-
Основы проверочных сеток
- Проверочные сетки — это геометрический метод доказательства, устраняющий бюрократию в синтаксисе и порядке правил.
- Они соответствуют интуитивным свойствам доказательств, в отличие от традиционных методов.
-
История и применение
- Защитные сетки были предложены Жан-Ивом Жираром.
- Они используются для доказательства идентичности в линейной логике.
-
Критерии корректности
- Существует несколько критериев для проверки соответствия структуры доказательства защитной сетке.
- Критерий длительного путешествия является одним из таких критериев, описанных Жираром.
-
Дополнительные ресурсы
- В статье упоминаются другие связанные темы, такие как линейная логика, людики и геометрия взаимодействия.
- Ссылки на литературу и учебники по линейной логике также приведены.
-
Призыв к действию
- Статья является заглушкой и призывает читателей расширить ее для улучшения Википедии.
Полный текст статьи: