鈴木信行

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

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

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

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

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

全件表示

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

MISC (18件)：

書籍 (2件)：

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

学歴 (4件)：

学位 (1件)：

経歴 (6件)：

全件表示

委員歴 (6件)：

全件表示

所属学会 (1件)：

日本数学会

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

鈴木 信行