Jump to main content
文書・図像類

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

Icons representing 文書・図像類

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

Material type
文書・図像類
Author
岡田, 光弘
Publisher
-
Publication date
2014
Material Format
Digital
Capacity, size, etc.
-
NDC
-
View All

Notes on use

Note (General):

type:text論理哲学の学際研究を行い成果をあげた。直観主義論理に関す20世紀初頭以来のこの分野の主要問題の一つと考えられてきたが, これまでの先行研究では論理的手法や数学基礎論手法などの伝統的なものに限られていた。本研究では, 認知科学推論研究手法やフッサール現象学論理手法なども取り入れた新し...

Related materials as well as pre- and post-revision versions

科研費研究者番号 : 30224025

Search by Bookstore

Holdings of Libraries in Japan

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

  • Keio Associated Repository of Academic resources

    Digital
    You can check the holdings of institutions and databases with which Institutional Repositories DataBase(IRDB)(Institutional Repository) is linked at the site of Institutional Repositories DataBase(IRDB)(Institutional Repository).

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Digital

Material Type
文書・図像類
Author/Editor
岡田, 光弘
Author Heading
Publication Date
2014
Publication Date (W3CDTF)
2014
Alternative Title
ロンリ テツガク ノ ガクサイ ケンキュウ : チョッカン シュギ ロンリ ノ スイロン・ショウメイ リロン オ チュウシン トシテ
Ronri tetsugaku no gakusai kenkyu : chokkan shugi ronri no suiron shomei riron o chushin toshite
Interdisciplinary Study in Philosophy of Logic : With a special focus on theory of inferences and proofs of intuitionistic logic
Periodical title
科学研究費補助金研究成果報告書
Text Language Code
jpn
eng