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