Rchr
J-GLOBAL ID：201201018578595716   Update date: Sep. 26, 2024

Suzuki Nobu-Yuki

スズキ ノブユキ | Suzuki Nobu-Yuki
Affiliation and department：
Shizuoka University Faculty of Science - Department of Mathematics

About Shizuoka University Faculty of Science - Department of Mathematics


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 Reconstruction of algebraic semantics for non-classical predicate logics
Show all
Papers (18)：
  • MAKOTO FUJIWARA, HAJIME ISHIHARA, TAKAKO NEMOTO, NOBU-YUKI SUZUKI, KEITA YOKOYAMA. Extended frames and separations of logical principles. Bulletin of Symbolic Logic. 2023. 3. 311-353
  • 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
ｍore...
MISC (18)：
ｍore...
Books (2)：
  • 制度と認識の経済学
    NTT出版 2013
  • Advances in Modal Logic, Volume 4
    King's College Publications 2003
Lectures and oral presentations  (82)：
  • The Existence and Related Properties in Extensions of Intuitionistic Logic
    (京都大学数理解析研究所 研究集会「数理論理学の最近の進展」 2024)
  • 否定論理式に制限したExistence Propertyを中間述語論理で考える
    (第58回MLG 数理論理学研究集会 2024)
  • Existence Property for Negated Formulas in Intermediate Predicate Logics
    (京都大学数理解析研究所 研究集会「証明論と計算論の最前線」 2023)
  • Intermediate Predicate Logics and Existence Property
    (Tokyo model theory seminar 2023)
  • 中間述語論理に於ける弱い existence property に関する補遺
    (日本数学会 2023年度秋季総合分科会(数学基礎論分科会) 2023)
ｍore...
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

TOP

BOTTOM