yr 〜
yr

Search results 36

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

コンピュータサイエンスにおける様相論理
Paper図書
鹿島亮 著森北出版2022.1<M121-M456>
National Diet LibraryOther Libraries in Japan
  • Author Heading鹿島, 亮

Semantical cut-elimination for the provability logic of true arithmetic

Semantical cut-elimination for the provability logic of true arithmetic
Paper文書・図像類
鹿島, 亮, KASHIMA, RYO, 加藤, 裕, Kato, Yutaka2023-09arXiv
Other Libraries in Japan
  • Author Heading鹿島, 亮 KASHIMA, RYO 加藤, 裕 Kato, Yuta...

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

C言語による計算の理論 (Computer science library ; 4)
Paper図書
鹿島亮 著サイエンス社2008.10<MA41-J13>
National Diet LibraryOther Libraries in Japan
  • Author Heading鹿島, 亮

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

数理論理学 (現代基礎数学 ; 15)
Paper図書
鹿島亮 著朝倉書店2009.10<MA41-J25>
National Diet LibraryOther Libraries in Japan
  • Author Heading鹿島, 亮 新井, 仁之, 1959- 小島, 定吉, 1952- 清...

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

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
  • Author Heading高木, 研斗 Takagi, Kento 鹿島, 亮 KASHIMA, RYO

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

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
  • Author Heading鹿島, 亮 KASHIMA, RYO

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

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
  • Author Heading鹿島, 亮 KASHIMA, RYO

Proof theoretical studies of classical/nonclassical logics

Proof theoretical studies of classical/nonclassical logics
PaperDigital博士論文障害者向け資料あり
鹿島亮 [著]<UT51-95-T599>
Available onlineNational Diet Library
  • Author Heading鹿島, 亮

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

数学基礎論講義 : 不完全性定理とその発展
Paper図書
田中一之 編・著, 鹿島亮 [ほか]著日本評論社1997.3<MA41-G26>
National Diet LibraryOther Libraries in Japan
  • Author Heading田中, 一之, 1955- 鹿島, 亮

Completeness Theorem of First-Order Modal mu-calculus

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
  • Author Heading鹿島, 亮 KASHIMA, RYO

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

ゲーデルと20世紀の論理学・第３巻・不完全性定理と算術の体系
Paper図書
鹿島, 亮, KASHIMA, RYO東京大学出版会2007-03
Other Libraries in Japan
  • Author Heading鹿島, 亮 KASHIMA, RYO

A Proof-Theoretical Study on Logics with Constructible Falsity

A Proof-Theoretical Study on Logics with Constructible Falsity
Paper文書・図像類
鹿島, 亮, KASHIMA, RYO2003Research Reports on Mathematical and Computing Sciences, TITC-165
Other Libraries in Japan
  • Author Heading鹿島, 亮 KASHIMA, RYO

Proof Theoretical Studies on Semilattice Relevant Logics

Proof Theoretical Studies on Semilattice Relevant Logics
Paper文書・図像類
鹿島, 亮, KASHIMA, RYO2001Research Reports on Mathematical and Computing Sciences, TITC-157
Other Libraries in Japan
  • Author Heading鹿島, 亮 KASHIMA, RYO

A Proof of the Standardization Theorem in Lambda-Calculus

A Proof of the Standardization Theorem in Lambda-Calculus
Paper文書・図像類
鹿島, 亮, KASHIMA, RYO2000Research Reports on Mathematical and Computing Sciences, TITC-145
Other Libraries in Japan
  • Author Heading鹿島, 亮 KASHIMA, RYO

Labelled sequent calculi and completeness theorems for implicational relevant logics

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
  • Author Heading鹿島, 亮 KASHIMA, RYO

Case Calculus for Classical Logic

Case Calculus for Classical Logic
Digital文書・図像類
馬場, 謙介, 廣川, 佐千男, 鹿島, 亮, 古森, 雄一, 竹内, 泉Department of Informatics, Kyushu University2000-08-08DOI Technical Report178
Available onlineOther Libraries in Japan
  • Author Heading馬場, 謙介 廣川, 佐千男 鹿島, 亮 古森, 雄一 竹内, 泉

数理解析研究所講究録

数理解析研究所講究録
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)... 教授 佐藤 知己, 准教授 鹿島 亮 （東京工業大学） 文学研究科（思想文化学専攻）
  • Contributor佐野, 勝彦 藏田, 伸雄 佐藤, 知己 鹿島, 亮

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

直観主義的観点からの認識論理の証明論的研究 [論文内容及び審査の要旨]
Digital博士論文
蘇, 有安Hokkaido University2022-03-24
Available onlineOther Libraries in Japan
  • Note (General)(主査) 准教授 佐野 勝彦, 教授 藏田 伸雄, 教授 佐藤 知己, 准教授 鹿島 亮 （東京工業大学） 文学研究科（思想文化学専攻）
  • Contributor佐野, 勝彦 藏田, 伸雄 佐藤, 知己 鹿島, 亮