"RYO KASHIMA","中間命題論理の公理に関する問題","日本数学会年会","日本数学会数学基礎論分科会アブストラクト集",,,,"pp. 21",2006,Mar.