Rchr
J-GLOBAL ID:200901008480153935
Update date: Sep. 22, 2023
SHIMURA Tatsuya
シムラ タツヤ | SHIMURA Tatsuya
Contact this researcher
You can send email directly to the researcher.
Affiliation and department:
Nihon University College of Science and Technology Department of Mathematics
About Nihon University College of Science and Technology Department of Mathematics
Search "Nihon University College of Science and Technology Department of Mathematics"
Detailed information
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
more...
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
more...
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)
more...
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
TOP
BOTTOM