bonotakeの日記

元・ソフトウェア工学系研究者、今・AI系エンジニア

CABA (complete atomic boolean algebra)

ヒビルテより。いや、リンク張るならこっちか?
このCABAが成す圏が、昨日のエントリーで触れた{\bf AtomfulLat}とほぼ同様のものになる…のだろうか。
Linear Logic complements Classical Logic、自分も読んでみよう。こういう話の広がり方はいいなぁ。

注:bonotakeは、amazon.co.jpを宣伝しリンクすることによってサイトが紹介料を獲得できる手段を提供することを目的に設定されたアフィリエイト宣伝プログラムである、 Amazonアソシエイト・プログラムの参加者です。