超直観主義論理
Ref
Memo
Def 1
$ \sf iPL + \lbrack \varphi \lor \lnot \varphi\rbrack = cPL
$ \sf iPL + \lbrack \lnot\varphi \lor \lnot\lnot \varphi\rbrack = wemPL
とりあえず$ \sf wemPLPropositional Logic of Weak Exculude Middleと名付けておく.
$ \sf iPL + \lbrack (\varphi \to \psi) \lor (\psi \to \varphi) \rbrack = GD
Memo