直観主義証明可能性論理iGL
Memo
#直観主義証明可能性論理
様相論理GLの直観主義論理バージョン
どの文献だったかは忘れたが，普通にHeyting算術$ \sf HAの（拡大理論の）証明可能性論理になると書かれていた記憶がある．
Def:
直観主義様相論理iK$ \sf iKのHilbert流証明体系に様相論理の公理Lを足したものとして定義される．
すなわち$ \mathfrak{H}_\mathsf{iK} + \mathbf{L}