SHIMURA Tatsuya

シムラタツヤ | SHIMURA Tatsuya

Affiliation and department：
Job title： Professor

Research field (4)： Basic mathematics , Basic mathematics , Applied mathematics and statistics , Applied mathematics and statistics

Research keywords (7)： modal logics , strong completeness , intermediate logics , cut-free system , completeness , non-classical logics , Mathematical Logic

Papers (11)：

Kripke incompleteness of predicate extentions of Gabbay-de Jongh's logic of the finite binary trees. Bulletin of the Section of Logic. 2002. 31(2). 111-118
Kripke incompleteness of some predicate extensions of cofinal subframe logics. Bulletin of Section of Logic. 2000. 30. 107-114
Tatsuya Shimura. Kripke incompleteness of predicate extensions of the modal logics axiomatized by a canonical formula for a frame with a nontrivial cluster. Studia Logica. 2000. 65. 2. 237-247
Eiko Isoda, Tatsuya Shimura. Kripke incompleteness of some predicate extensions of modal subframe logics without finite embedding property. Bulletin of Section of Logic. 1998. 27. 4. 182-189
On completeness of intermediate predicate logics with respect to Kripke semantics. Bulletin of the Section of Logic. 1995. 24. 1. 41-45

ｍore...

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

ｍore...

Books (4)：

プリンストン数学大全
朝倉書店 2016 ISBN:9784254111439
岩波数学辞典第4版
岩波書店 2007 ISBN:9784000803090
コンピュータのための数学論理的アプローチ
日本評論社 2001 ISBN:9784535783010
コンピュータ基礎理論ハンドブック
丸善 1994 ISBN:4621039202

Lectures and oral presentations (42)：

様相論理 K4Z_{14}^+ のカット除去について
(日本数学会秋季総合分科会 2023)
Disjunction property に関する Minari の定理の拡張について
(日本数学会秋季総合分科会 2023)
Avron の hypersequent calculus GLCW の一般化の部分体系に関する保存性
(日本数学会秋季総合分科会 2021)
強い意味の disjunction property の易しい証明
(日本数学会秋季総合分科会 2020)
様相論理 KD4Z<SUB>14</SUB> とその周辺
(日本数学会秋季総合分科会 2019)

ｍore...

Education (2)：

- 1991 The University of Tokyo Graduate School, Division of Science 数学
- 1985 The University of Tokyo Faculty of Science 数学

Committee career (1)：

2007/03 - 2009/02 日本数学会評議員

Association Membership(s) (1)：

Mathematical Society of Japan

※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page