2024.12.16
https://www.youtube.com/watch?v=YeOGRwExg4U
MODの詳細は結局何なんだ
メモ
直観主義述語論理では準古典的公理の同値関係が成り立たない．
$ \{p,q\}\mathbf{DNE} \nvDash \{p,q\}\mathbf{DML}
論理式のクラス$ \Sigma_n,\Pi_nに制限したDNEやLEMなどを考える すなわち$ \Gamma-論理式$ \varphi(\vec{x})に対して
$ \forall \vec{x}.\lbrack \lnot\lnot\varphi(\vec{x}) \to \varphi(\vec{x}) \rbrackを$ \Gamma\mathbf{DNE}などという．
Heyting算術にこれらの$ \Gamma\mathbf{DNE},\Gamma\mathbf{LEM},\Gamma\mathbf{DML}を付け加えた体系は同値にならない． すなわち直観主義論理にこれらのうちどれかを足すと全部古典論理になる，という状況とは一線を画す
行った