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 非古典述語論理のための代数的意味論の再構築
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):
more...
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
Show all
Committee career (6):
  • 2007/02 - 現在 日本数学会
  • 2021/03 - 2022/02 日本数学会 地区代議員
  • 2019/03 - 2020/02 日本数学会 地区代議員
  • 2018/03 - 2019/02 日本数学会 歴史および数学基礎論分科会
  • 2018/03 - 2019/02 日本数学会
Show all
Association Membership(s) (1):
日本数学会
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page