「証明論」に関するサイレントキーワード「直観主義論理」が含まれる科研費採択研究2件

【研究名】直観主義論理を中心とした学際的論理哲学研究
【研究代表者】岡田 光弘  慶應義塾大学   文学部(三田)   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/	 
【研究分担者】
金子 洋之  専修大学  文学部  教授  	https://nrid.nii.ac.jp/ja/nrid/1000060191988/	
峯島 宏次  お茶の水女子大学  シミュレーション科学教育研究センター  特任講師  	https://nrid.nii.ac.jp/ja/nrid/1000080725739/	

【研究名】論理哲学の学際研究ー直観主義論理の推論・証明理論を中心として
【研究代表者】岡田 光弘  慶應義塾大学   文学部   教授 	https://nrid.nii.ac.jp/ja/nrid/1000030224025/