A characterization of implicational axiom schema playing the role of Peirce's law in intuitionistic logic - 九大コレクション

＜テクニカルレポート＞
A characterization of implicational axiom schema playing the role of Peirce's law in intuitionistic logic

作成者	著者識別子 K000008 作成者名 Hirokawa, Sachio 廣川, 佐千男所属機関所属機関名 Computer Science Laboratory, Faculty of Science, Kyushu University 九州大学
本文言語	英語
出版者	Research Institute of Fundamental Information Science, Kyushu University
出版者	九州大学理学部附属基礎情報学研究施設
発行日	1994-09-13
収録物名	RIFIS Technical Report
巻	93
出版タイプ	Accepted Manuscript
アクセス権	open access
関連DOI	RIFIS Technical Report \|\| 93 \|\| p1-4
関連DOI	http://www.i.kyushu-u.ac.jp/research/report.html
関連URI	RIFIS Technical Report \|\| 93 \|\| p1-4
関連URI	http://www.i.kyushu-u.ac.jp/research/report.html
関連情報	RIFIS Technical Report \|\| 93 \|\| p1-4
関連情報	http://www.i.kyushu-u.ac.jp/research/report.html

ファイル	ファイルタイプ	サイズ	閲覧回数	説明
rifis-tr-93	pdf	222 KB	270