11/02/09 19:58:22
ブール代数とかハイティング代数とか、
代数的な意味論って、完全性が成り立つように
無理矢理作った感じがするんですが、何か効用はあるんでしょうか。
11/02/09 19:58:22
ブール代数とかハイティング代数とか、
代数的な意味論って、完全性が成り立つように
無理矢理作った感じがするんですが、何か効用はあるんでしょうか。
11/02/09 19:58:22
ブール代数とかハイティング代数とか、
代数的な意味論って、完全性が成り立つように
無理矢理作った感じがするんですが、何か効用はあるんでしょうか。