Структурное правило
-
Основы теории доказательств
- Структурные правила в логике не зависят от логических связей, а оперируют последовательностями.
- Субструктурные логики отрицают некоторые структурные правила.
-
Общие структурные правила
- Ослабление: гипотезы или выводы могут быть расширены дополнительными элементами.
- Монотонность следования: два равных элемента на одной стороне последовательности могут быть заменены одним.
- Сокращение: два одинаковых элемента на одной стороне могут быть заменены одним общим экземпляром.
- Обмен: два участника последовательности могут быть переставлены местами.
-
Интерпретация и дополнительные правила
- Логика без структурных правил рассматривает последовательности как чистые последовательности.
- При обмене последовательности могут рассматриваться как мультимножества или множества.
- Cut — известное структурное правило, но некоторые теоретики считают его излишним в различных логиках.
-
Устранение сокращений
- Успешное устранение сокращений связано с философией вычислений и нормализацией.
-
Другие подструктурные логики
- Аффинная логика отвергает сокращение страниц с описаниями викиданных.
- Линейная логика — система ресурсозависимой логики.
- Упорядоченная логика (линейная логика) и логика релевантности имеют ограничения на страницы с описаниями викиданных.
- Логика разделения — математическая логическая система с определенными ограничениями на страницы с описаниями викиданных.
Полный текст статьи: