Search results for "直観主義論理" | NDL Search

Search results 9

Group by title

チャーチのラムダ計算のBCK論理による再生

Paper図書

古森雄一, 千葉大学 [著][古森雄一]2003-2006<Y151-H15540107>

National Diet Library

Subject Heading数理論理学 / ラムダ計算 / 集合論 / P=NP問題 / BCK論理 / 古典論理 / 直観主義論理 / 極小論理式

部分構造論理の研究

Paper図書

古森, 雄一, 千葉大学1998-1999<Y151-H10640103>

National Diet Library

Subject Heading部分構造論理古典論理直観主義論理 BCK論理ラムダ計算型理論

構成的プログラミング・システムの実現

Paper図書

佐藤, 雅彦, 京都大学1996-1997<Y151-H08558023>

National Diet Library

Subject Heading構成的プログラミング対話的証明環境直観主義論理古典論理様相論理

構成的論理の推論構造の研究

Paper図書

廣川, 佐千男, 九州大学1993-1994<Y151-H05680276>

National Diet Library

Subject Heading構成的論理ラムダ計算型理論直観主義論理適切さの論理 curry-Haward 型としての論理式 ...

現代科学哲学における実在論と反実在論

Paper図書

今井, 知正, 千葉大学1985-1987<Y151-S60301001>

National Diet Library

Subject Heading科学哲学科学史実在論反実在論意味真理古典論理直観主義論理

現代哲学におけるカント的テーゼの帰趨とその意義

Paper図書

野本, 和幸, 北海道大学1989-1991<Y151-H01510002>

National Diet Library

Subject Heading論理的意味論古典論理直観主義論理無限のパラドクス論理主義ヒルベルト超越論的観念論批...

構成的数学基づく証明検証合成システムの作成

Paper図書

佐藤, 雅彦, 東北大学1987-1989<Y151-S62460220>

National Diet Library

Subject Heading構成的数学関数型プログラム言語直観主義論理証明プログラムの検証プログラムの合成

直観主義論理を中心とした学際的論理哲学研究

Digital文書・図像類

岡田, 光弘, 金子, 洋之, 峯島, 宏次2017科学研究費補助金研究成果報告書

Other Libraries in Japan

Subject Heading論理と数学の哲学,図形推論,直観主義論理,証明論,Wittgenstein哲学,日常推論の認知科学,...
Note (General)...の構成的証明論を明らかにした。直観主義論理可能世界意味論を通じて, 強制......論的正規化定理から線形論理, 直観主義論理の意味論と証明論が構成されることを示した。これまで意味論的分...

論理哲学の学際研究 : 直観主義論理の推論・証明理論を中心として

Digital文書・図像類

岡田, 光弘2014科学研究費補助金研究成果報告書

Other Libraries in Japan

Subject Heading哲学,論理学,直観主義論理,論理推論研究,フッサール論理学,論理哲学,図形推論,証明論
Note (General)type:text 論理哲学の学際研究を行い成果をあげた。直観主義論理に関す20世紀初頭以来のこの分野の主要問題の一つと考えられて...

Reached to the end of result.

RSS