志村立矢 (Tatsuya SHIMURA) - マイポータル

基本情報

所属: 日本大学理工学部数学科教授

研究者番号: 90246835
J-GLOBAL ID: 200901008480153935
researchmap会員ID: 1000084564

研究キーワード

研究分野

学歴

- 1991年

東京大学大学院理学系研究科数学
- 1985年

東京大学理学部数学

委員歴

2007年3月 - 2009年2月

日本数学会評議員

論文

Kripke incompleteness of predicate extentions of Gabbay-de Jongh's logic of the finite binary trees.

Bulletin of the Section of Logic (31(2)) 111-118 2002年査読有り筆頭著者
Kripke incompleteness of some predicate extensions of cofinal subframe logics.

Bulletin of Section of Logic 30 107-114 2000年査読有り
Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster

Tatsuya Shimura

Studia Logica 65(2) 237-247 2000年査読有り
Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property.

Eiko Isoda, Tatsuya Shimura

Bulletin of Section of Logic. 27(4) 182-189 1998年査読有り
On completeness of intermediate predicate logics with respect to Kripke semantics

Bulletin of the Section of Logic 24(1) 41-45 1995年査読有り筆頭著者
CUT-ELIMINATION THEOREM FOR THE LOGIC OF CONSTANT DOMAINS

R KASHIMA, T SHIMURA

MATHEMATICAL LOGIC QUARTERLY 40(2) 153-172 1994年査読有り
Kripke completeness of some intermediate predicate logics with the axiom of constant domain and a variant of canonical formulas

Tatsuya Shimura

Studia Logica 52(1) 23-40 1993年3月査読有り
Some super-intuitionistic logics as the logical fragments of equational theories

Bulletin of section of logic 22(3) 106-112 1993年査読有り筆頭著者
Cut-free systems for some modal logics containing S4

Reports on Mathematical Logic (26) 39-65 1992年査読有り筆頭著者
On the strength of PA with a non-principal Ultrafilter quantifier

Annals of Japan Association for Philosophy of Science 8(1) 17-21 1991年査読有り
Cut-free Systems for the modal logic S4.3 and S4.3 Grz.

Reports on Mathematical Logic (25) 57-73 1991年査読有り筆頭著者

MISC

On some one variable axioms over intuitionistic S4

志村立矢

京都大学数理解析研究所講究録 No.1021 sequent calculus と Kriple semantics に基づく非古典論理学の研究 1021 70-85 1997年12月招待有り筆頭著者
An application of Jankov's characteristic formulas

志村立矢

京都大学数理解析研究所講究録 No.1010 非古典論理と Kripke 意味論の新局面 1010 89-100 1997年8月招待有り筆頭著者
中間述語論理と様相述語論理のKripke semanticsに関する完全性と不完全性について

志村立矢

京都大学数理解析研究所講究録 No.927 非古典論理とその Kripke 意味論に関する諸問題 927 104-115 1995年11月招待有り筆頭著者
PA 上の non-principal prime filter quantifier の強さについて

志村立矢

京都大学数理解析研究所講究録 No.847 証明論と逆数学 847 61-67 1993年8月招待有り筆頭著者
特集数セミを楽しむためのキーワード自然数数学基礎論不完全性定理

志村立矢

数学セミナー 1993年4月号 30, 34, 55 1993年4月招待有り筆頭著者
AI_ξ^- の周辺の理論とその証明論的順序数

志村立矢

京都大学数理解析研究所講究録 No.669 二階算術の証明論 669 1-15 1988年8月招待有り筆頭著者

書籍等出版物

プリンストン数学大全

砂田利一, 石井仁司, 平田典子, 二木昭人, 森真監訳 (担当:共訳) (原著:砂田利一・石井仁司・平田典子・二木昭人・森真監訳)

朝倉書店 2016年12月 (ISBN: 9784254111439)
岩波数学辞典第4版

日本数学会編 (担当:分担執筆, 範囲:数学基礎論) (原著:日本数学会編)

岩波書店 2007年3月15日 (ISBN: 9784000803090)
コンピュータのための数学論理的アプローチ

D.グリース, F.B.シュナイダー, 著, 難波完爾, 土居範久, 監訳 (担当:共訳) (原著:D.グリース F.B.シュナイダー著難波完爾土居範久監訳)

日本評論社 2001年7月 (ISBN: 9784535783010)
コンピュータ基礎理論ハンドブック

Jan van Leeuwen, 編, 広瀬健, 他監 (担当:共訳, 範囲:時相論理と様相論理) (原著:Jan van Leeuwen 編広瀬健他監訳)

丸善 1994年2月 (ISBN: 4621039202)

講演・口頭発表等

Avron の hypersequent calculus GLCW の一般化の部分体系に関する保存性

横溝恭平

日本数学会秋季総合分科会 2021年9月17日日本数学会
強い意味の disjunction property の易しい証明

志村立矢

日本数学会秋季総合分科会 2020年9月24日日本数学会
様相論理 KD4Z₁₄ とその周辺

志村立矢

日本数学会秋季総合分科会 2019年9月20日
論理記号の制限と strong disjunction property

志村立矢

第52回数理論理学研究集会 MLG 2017年12月3日
強い形の Harrop 選言特性

志村立矢

第51回 MLG 数理論理学研究集会 2016年10月29日
強い形の disjunction property を持つ論理式の例

志村立矢

日本数学会秋季総合分科会 2016年9月18日日本数学会
Chairperson

日本数学会年会 2015年3月21日
一変数論理式の許容推論規則と disjunction property

日本数学会秋季総合分科会 2012年9月21日日本数学会
等号を持たない場合の Craig の補間定理について

日本数学会秋季総合分科会 2011年9月29日日本数学会
Some cut-free multi-modal logics

数理論理学研究集会 MLG 2011年1月8日
強い形の disjunction property について II

数理論理学研究集会 MLG 2009年12月13日招待有り
様相論理K4DLZの周辺．Cut 除去，interpolation

数理論理学研究集会 MLG 2008年11月9日招待有り
一変数公理の disjunction property について

数理論理学研究集会 MLG 2007年11月20日招待有り
On a strong form of disjunction property

数理論理学研究集会 MLG 2005年12月6日招待有り
Gabbay-de Jongh の logic の disjunction property について

記号論理学と情報科学 SLACS 2005 2005年9月2日招待有り
Chairperson

日本数学会秋季総合分科会 2004年9月21日
二重様相論理と公理 □₁ A→ □₂□₁ A, □₁ A→ □₂ A

志村立矢

日本数学会秋季総合分科会 2003年9月25日
Kripke incompleteness of predicate extensions of Gabbay-de Jongh's logic of finite binary treees

数理論理学研究集会 MLG 2002年1月10日招待有り
Kripke incompleteness of predicate extensions of Gabbay-de Jongh's logic of finite binary trees

志村立矢

日本数学会秋季総合分科会 2001年10月3日
Kripke completeness of predicate extensions of cofinal subframe logics

数理論理学研究集会 MLG 2001年1月10日招待有り

もっとみる

所属学協会

1991年4月 - 現在

日本数学会