解いてもらった。こうすればよいと。 □ □□□ □ ■□□ ■■■□ □ □□ ■ □■■■ ■■■■ ■□□□ ■■□■ ■■■■ ■■■■ T 字があるとできるんですね。なかったらできませんよね。たぶんそっちは証明できて、こうやって置いたとすると ■ ■■ ■ 左上を埋めるためにはこうするしかなくて…

sequent calculus から truth value を構築する話。技術的には既知なのだけど、この論文の焦点はそれをどう解釈するかにある。らしい。やってることは普通の sequent calculus から canonical model を作る標準的なやり方。Γ=>Δ が証明できない対 (Γ,Δ) で極…