2024.08.07
https://www.youtube.com/watch?v=480ncPEVbr4
メモ
Irreflexivization（非反射化）は様相論理では用法があるがirreflexivize（非反射化する）はなぜか用例が一つも見つからなかった
思った
10進表記で2.7≒3だからといって関係があるとは思えない
Memo
やった
$ \mathbf{Grz} \vdash A \implies \mathbf{GL} \vdash A^\boxdot は形式化した．
これは構文論的に証明できる．$ \mathbf{GL} \vdash \mathsf{Grz}^\boxdotを示せば良い．
逆は意味論的な議論がいる（少なくとも構文論的な方法は見つからなかった（原理上出来るとは思うが））