鈴木信行

スズキノブユキ | Suzuki Nobu-Yuki

所属機関・部署：
職名：教授

研究分野 (2件)：応用数学、統計数学 , 数学基礎

研究キーワード (2件)： Kripke意味論 , 非古典論理

競争的資金等の研究課題 (15件)：

全件表示

論文 (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

MISC (18件)：

書籍 (2件)：

講演・口頭発表等 (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)

学歴 (4件)：

学位 (1件)：

経歴 (6件)：

全件表示

委員歴 (6件)：

全件表示

所属学会 (1件)：

日本数学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

鈴木 信行