査読有り 本文へのリンクあり 2021年6月 異なる論理の共存と証明論的意味論における調和概念について 新進研究者 Research Notes 豊岡正庸 巻 4 号 開始ページ 69 終了ページ 77 記述言語 日本語 掲載種別 研究論文(学術雑誌) リンク情報 URLhttp://pssj.info/jsrnps/contents/contents_data/PSSJ-JSRNPS4(2021)_Masanobu_Toyooka.pdf 本文へのリンクあり エクスポート BibTeX RIS