参考文献

直観主義論理の推件計算に関しては、以下の本がわかりやすいです。

数理論理学 (現代基礎数学)

部分構造論理とランベック計算についての解説は、以下の文献を参考にして下さい。

現代数理論理学序説

また、スライド p.24 の部分構造論理のダイアグラムは、以下の本のp.120から引用しました。

Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Volume 151 (Studies in Logic and the Foundations of Mathematics)