An Investigation Into Addition of Classical Negation to First-Order and Generalized Intuitionistic Logic [an abstract of dissertation and a summary of dissertation review]

豊岡, 正庸

2024

Permalink : https://hdl.handle.net/2115/92947

このアイテムのアクセス数:306件（2026-08-14 13:32 集計）

ファイル	フォーマット	サイズ	閲覧回数	説明
Masanobu_Toyooka_abstract	pdf	169 KB	133	論文内容の要旨
Masanobu_Toyooka_review	pdf	171 KB	157	審査の要旨

アクセス権	open access
URI	https://hdl.handle.net/2115/92947
タイトル	An Investigation Into Addition of Classical Negation to First-Order and Generalized Intuitionistic Logic [an abstract of dissertation and a summary of dissertation review]
タイトル	一階および一般化された直観主義論理に対する古典的否定の追加に関する探究 [論文内容及び審査の要旨]
著者	著者名豊岡, 正庸
言語	日本語
発行日	2024-06-28
出版者	Hokkaido University
学位授与機関	識別子 10101 機関名北海道大学 Hokkaido University
学位授与番号	甲第16062号
学位名	博士(文学)
学位の審査委員	(主査) 教授佐野勝彦, 准教授宮園健吾, 教授佐藤知己, 准教授大森仁（東北大学）
学位審査の研究科等	文学院（人文学専攻）
資源タイプ	博士論文
出版タイプ	Version of Record
権利情報	Creative Commons Attribution 4.0 International
関連情報 (references)	HDL https://hdl.handle.net/2115/92948