志村立矢

シムラタツヤ | SHIMURA Tatsuya

所属機関・部署：
職名：教授

研究分野 (4件)：数学基礎 , 数学基礎 , 応用数学、統計数学 , 応用数学、統計数学

研究キーワード (7件)：様相論理 , 強完全性 , 中間論理 , カット除去定理 , 完全性 , 非古典論理 , 数理論理学

論文 (11件)：

MISC (6件)：

志村立矢. On some one variable axioms over intuitionistic S4. 京都大学数理解析研究所講究録 No.1021 sequent calculus と Kriple semantics に基づく非古典論理学の研究. 1997. 1021. 70-85
志村立矢. An application of Jankov's characteristic formulas. 京都大学数理解析研究所講究録 No.1010 非古典論理と Kripke 意味論の新局面. 1997. 1010. 89-100
志村立矢. 中間述語論理と様相述語論理のKripke semanticsに関する完全性と不完全性について. 京都大学数理解析研究所講究録 No.927 非古典論理とその Kripke 意味論に関する諸問題. 1995. 927. 104-115
志村立矢. PA 上の non-principal prime filter quantifier の強さについて. 京都大学数理解析研究所講究録 No.847 証明論と逆数学. 1993. 847. 61-67
志村立矢. 特集数セミを楽しむためのキーワード自然数数学基礎論不完全性定理. 数学セミナー 1993年4月号. 1993. 30, 34, 55

書籍 (4件)：

講演・口頭発表等 (43件)：

強い disjunction property と finite model property を持つ中間命題論理の族について
(日本数学会秋季総合分科会 2024)
様相論理 K4Z_{14}^+ のカット除去について
(日本数学会秋季総合分科会 2023)
Disjunction property に関する Minari の定理の拡張について
(日本数学会秋季総合分科会 2023)
Avron の hypersequent calculus GLCW の一般化の部分体系に関する保存性
(日本数学会秋季総合分科会 2021)
強い意味の disjunction property の易しい証明
(日本数学会秋季総合分科会 2020)

学歴 (2件)：

委員歴 (1件)：

所属学会 (1件)：

日本数学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

志村 立矢