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