Search results for "鹿島亮" | NDL Search

Search results 36

Group by title

コンピュータサイエンスにおける様相論理

Paper図書

鹿島亮著森北出版2022.1<M121-M456>

National Diet LibraryOther Libraries in Japan

Semantical cut-elimination for the provability logic of true arithmetic

Paper文書・図像類

鹿島, 亮, KASHIMA, RYO, 加藤, 裕, Kato, Yutaka2023-09arXiv

Other Libraries in Japan

C言語による計算の理論 (Computer science library ; 4)

Paper図書

鹿島亮著サイエンス社2008.10<MA41-J13>

National Diet LibraryOther Libraries in Japan

数理論理学 (現代基礎数学 ; 15)

Paper図書

鹿島亮著朝倉書店2009.10<MA41-J25>

National Diet LibraryOther Libraries in Japan

On the Completeness and the Decidability of Strictly Monadic Second-Order Logic

Digital文書・図像類

高木, 研斗, Takagi, Kento, 鹿島, 亮, KASHIMA, RYO東京工業大学情報理工学院数理・計算科学系2019-04Research Reports on Mathematical and Computing Sciences

Other Libraries in Japan

Completeness of Hilbert-style axiomatization for the extended computation tree logic ECTL

Paper文書・図像類

鹿島, 亮, KASHIMA, RYO2012-03Research Reports on Mathematical and Computing Sciences

Other Libraries in Japan

A proof of the completeness theorem for the modal logic with transitive closure of accessibility relation

Paper文書・図像類

鹿島, 亮, KASHIMA, RYOTokyo Institute of Technology2009-12Research Reports on Mathematical and Computing SciencesC-266

Other Libraries in Japan

Proof theoretical studies of classical/nonclassical logics

PaperDigital博士論文障害者向け資料あり

鹿島亮 [著]<UT51-95-T599>

Available onlineNational Diet Library

数学基礎論講義 : 不完全性定理とその発展

Paper図書

田中一之編・著, 鹿島亮 [ほか]著日本評論社1997.3<MA41-G26>

National Diet LibraryOther Libraries in Japan

Completeness Theorem of First-Order Modal mu-calculus

Paper文書・図像類

鹿島, 亮, KASHIMA, RYO2007-04Research Reports on Mathematical and Computing Sciences, TITC-244 No.

Other Libraries in Japan

ゲーデルと20世紀の論理学・第３巻・不完全性定理と算術の体系

Paper図書

鹿島, 亮, KASHIMA, RYO東京大学出版会2007-03

Other Libraries in Japan

A Proof-Theoretical Study on Logics with Constructible Falsity

Paper文書・図像類

鹿島, 亮, KASHIMA, RYO2003Research Reports on Mathematical and Computing Sciences, TITC-165

Other Libraries in Japan

Proof Theoretical Studies on Semilattice Relevant Logics

Paper文書・図像類

鹿島, 亮, KASHIMA, RYO2001Research Reports on Mathematical and Computing Sciences, TITC-157

Other Libraries in Japan

A Proof of the Standardization Theorem in Lambda-Calculus

Paper文書・図像類

鹿島, 亮, KASHIMA, RYO2000Research Reports on Mathematical and Computing Sciences, TITC-145

Other Libraries in Japan

Labelled sequent calculi and completeness theorems for implicational relevant logics

Paper文書・図像類

鹿島, 亮, KASHIMA, RYO1999Research Reports on Mathematical and Computing Sciences, TITC-140

Other Libraries in Japan

Case Calculus for Classical Logic

Digital文書・図像類

馬場, 謙介, 廣川, 佐千男, 鹿島, 亮, 古森, 雄一, 竹内, 泉Department of Informatics, Kyushu University2000-08-08DOI Technical Report178

Available onlineOther Libraries in Japan

数理解析研究所講究録

Paper雑誌

京都大学数理解析研究所1964-<Z43-1336>

National Diet LibraryOther Libraries in Japan

数学セミナー

PaperDigital雑誌

日本評論社1991-<Z15-27>

National Diet Library

直観主義的観点からの認識論理の証明論的研究 [全文の要約]

Digital博士論文

蘇, 有安Hokkaido University2022-03-24

Available onlineOther Libraries in Japan

Note (General)... 教授佐藤知己, 准教授鹿島亮（東京工業大学）文学研究科（思想文化学専攻）

直観主義的観点からの認識論理の証明論的研究 [論文内容及び審査の要旨]

Digital博士論文

蘇, 有安Hokkaido University2022-03-24

Available onlineOther Libraries in Japan

Note (General)(主査) 准教授佐野勝彦, 教授藏田伸雄, 教授佐藤知己, 准教授鹿島亮（東京工業大学）文学研究科（思想文化学専攻）