Girard翻訳
https://www.kurims.kyoto-u.ac.jp/~hassei/papers/girard.pdf
直観主義命題論理の論理式を様相論理に変換する：線形論理の文脈らしいのだが…