構造規則 (弱化、縮約、転置)

構造規則は、証明の文脈にある仮定を弱化・縮約・交換する規則である。どの前提を追加・複製・並べ替えできるかは、論理体系が資源をどう扱うかを決める。

仕組みと確認

各規則が結論の意味を保つ条件を確認し、仮定を一度だけ使う線形論理などと比較する。アクセス権、トランザクション、リソース所有権の設計でも、複製・破棄・順序変更の許可を明示する。

限界と注意点

古典論理で許される構造規則を、資源制約のある実装へ無条件に持ち込めない。前提のライフサイクルと副作用を証明の文脈に対応付ける。