Rchr
J-GLOBAL ID:201201018578595716
Update date: Dec. 08, 2023
Suzuki Nobu-Yuki
スズキ ノブユキ | Suzuki Nobu-Yuki
Affiliation and department:
Job title:
Professor
Research field (2):
Applied mathematics and statistics
, Basic mathematics
Research keywords (2):
Kripke semantics
, non-classical logic
Research theme for competitive and other funds (15):
- 2016 - 2021 構成性を中間述語論理の観点から理解する
- 2020 - 構成性を制御しながら直観主義論理を拡大する
- 2016 - 2020 構成性を中間述語論理の観点から理解する
- 2015 - 2017 非古典述語論理のための代数的意味論の再構築
- 2013 - 2017 非古典述語論理のための代数的意味論の再構築
- 2012 - 非古典述語論理のための代数的意味論の再構築
- 2012 - 非古典述語論理のための代数的意味論の再構築
- 2008 - 多様相論理とゲーム理論の融合的研究
- 2007 - 多様相論理とゲーム理論の融合的研究
- 2006 - 多様相論理の総合的研究とゲーム理論への応用
- 2005 - 多様相論理の総合的研究とゲーム理論への応用
- 2004 - 多様相論理の総合的研究とゲーム理論への応用
- 2003 - クリプキ意味論の拡張と認識論理・ゲーム理論への応用
- 2001 - クリプキ意味論の拡張と認識論理・ゲーム理論への応用
- 2001 - クリプキ意味論の拡張と認識論理・ゲーム理論への応用
Show all
Papers (17):
-
Nobu-Yuki Suzuki. A note on disjunction and existence properties in predicate extensions of intuitionistic logic ---An application of Jankov formulas to predicate logics---. V.A. Yankov on Non-Classical Logics, History and Philosophy of Mathematics} (Outstanding Contributuions to Logic 24). 2022. 24. 221-244
-
Nobu-Yuki Suzuki. A Negative Solution to Ono’s Problem P52: Existence and Disjunction Properties in Intermediate Predicate Logics. Hiroakira Ono on Substructural Logics, Outstanding Contributions to Logic. 2022. 23. 319-337
-
T-W. Hu, M. Kaneko, N.-Y. Suzuki. Small infnitary epistemic logics. Review of Symbolic Logic. 2019. 1-35
-
Nobu-Yuki Suzuki. Some weak variants of the existence and disjunction properties in intermediate predicate logics. Bulletin of the Section of Logic. 2017. 46. 1-2. 93-109
-
鈴木 信行. Semantics for Intuitionistic Epistemic Logics of Shallow Depths for Game Theory. Economic Theory. 2013. 53. 1. 85-110
more...
MISC (18):
Books (2):
-
制度と認識の経済学
NTT出版 2013
-
Advances in Modal Logic, Volume 4
King's College Publications 2003
Lectures and oral presentations (79):
-
Intermediate Predicate Logics and Existence Property
(Tokyo model theory seminar 2023)
-
中間述語論理に於ける弱い existence property に関する補遺
(日本数学会 2023年度秋季総合分科会(数学基礎論分科会) 2023)
-
Two properties of quantifiers described as meta-theorems on some non-classical predicate logics
(Workshop on Foundations of Game Theory: Logic, Bounded Rationality, and Decisions 2022)
-
冠頭標準形定理が成り立つ中間述語論理についての注意
(日本数学会 2022年度秋季総合分科会(数学基礎論分科会) 2022)
-
Prenex normal form theoremを超直観主義述語論理で考える
(第56回MLG 数理論理学研究集会 2022)
more...
Education (4):
- - 1989 Tohoku University
- - 1989 Tohoku University Graduate School, Division of Natural Science
- - 1985 Tohoku University Faculty of Science
- - 1985 Tohoku University Faculty of Science
Professional career (1):
Work history (6):
- 1997/04 - 2004/03 Shizuoka University Faculty of Science
- 1997/04 - 2004/03 Associate Professor, Fuculty of Science, Shizuoka University
- 1992/04 - 1997/03 Ibaraki University
- 1992/04 - 1997/03 Lecturer, Faculty of Engineering, Ibaraki University
- 1989/08 - 1992/03 Joetsu University of Education College of Education
- 1989/08 - 1992/03 Research Associate, Joetsu University of Education
Show all
Committee career (6):
- 2007/02 - 現在 日本数学会
- 2021/03 - 2022/02 日本数学会 地区代議員
- 2019/03 - 2020/02 日本数学会 地区代議員
- 2018/03 - 2019/02 日本数学会 歴史および数学基礎論分科会
- 2018/03 - 2019/02 日本数学会
- 2006/02 - 2007/02 日本数学会
Show all
Association Membership(s) (1):
Return to Previous Page