前回こんなことを書いたけれど更に完全性定理について cut-elimination.hatenablog.com Troelstra先生の本を読んで線形論理の代数的意味論の完全性定理を勉強しているところなのだけれど、 Lectures on Linear Logic (Lecture Notes Book 29) (English Edition) 作者:Troelstra, A. S. Center for the Study of Language and Inf Amazon シーケント計算と代数を対応させるというのはこうやるのだなあ。代数論理を全然知らなかったので驚いた。またもや完全性…