「"直観主義論理"」の検索結果 | NDLサーチ

検索結果 9 件

タイトルでまとめる

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

紙図書

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

国立国会図書館

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

部分構造論理の研究

紙図書

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

国立国会図書館

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

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

紙図書

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

国立国会図書館

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

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

紙図書

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

国立国会図書館

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

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

紙図書

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

国立国会図書館

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

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

紙図書

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

国立国会図書館

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

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

紙図書

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

国立国会図書館

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

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

デジタル文書・図像類

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

全国の図書館

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

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

デジタル文書・図像類

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

全国の図書館

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

検索結果は以上です。

RSS