研究者
J-GLOBAL ID:202001018422668210
更新日: 2025年01月07日 仁木 哲
ニキ サトル | Niki Satoru
所属機関・部署: 職名:
学術協力者
研究キーワード (4件):
数理論理学
, 非古典論理
, 証明論
, 直観主義論理
論文 (19件): -
Kamide is in America, Moisil and Leitgeb are in Australia. Proceedings Eleventh International Conference on Non-Classical Logics. Theory and Applications. 2024. 415. 180-194
-
Satoru Niki. Note on Contradictions in Francez-Weiss Logics. Logic and Logical Philosophy. 2024. 1-30
-
Fumiaki Toyoshima, Satoru Niki. To Be More Concrete About Abstracta and Concreta. Proceedings of the 14th International Conference (FOIS 2024). 2024. 74-88
-
Heinrich Wanching, Satoru Niki, Sergey Drobyshevich. Bi-connexive logic, bilateralism, and negation inconsistency. The Review of Symbolic Logic (forthcoming), 35 pages. 2024
-
Satoru Niki. A note on negation inconsistent variants of FDE-negation. Australasian Journal of Logic. 2024. 21. 2. 64-90
もっと見る 講演・口頭発表等 (27件): -
Connexive logic, splitted
(LLAL@GSIS Workshop (IV), Sendai, Japan. 2024)
-
Another Constructive Motivation for Some Connexive Logics
(9th Workshop on Connexive Logics, Łódź, Poland. 2024)
-
Kamide is in America, Moisil and Leitgeb are in Australia
(NCL'24: Non-classical Logics: Theory and Applications 2024, Łódź, Poland. 2024)
-
Provable contradictions in relevant connexive logics of Francez and Weiss
(Proof, Argumentation, Computation, Modalities And Negation (PACM∧N), Verona, Italy. 2024)
-
From a constructive logic to a contradictory logic
(Dagstuhl Seminar 24021: From Proofs to Computation in Geometric Logic and Generalizations, Wadern, Germany. 2024)
もっと見る 学歴 (4件): - 2018 - 2021 北陸先端科学技術大学院大学 先端科学技術研究科 先端科学技術専攻
- 2016 - 2018 北陸先端科学技術大学院大学 先端科学技術研究科 先端科学技術専攻
- 2014 - 2016 学習院大学 人文科学研究科 身体表象文化学専攻
- 2008 - 2013 セント・アンドリュース大学 理学部 数学科
学位 (1件): 経歴 (3件): - 2021/11 - 現在 ルール大学ボーフム 第一哲学科 学術協力者
- 2021/04 - 2022/01 ルール大学ボーフム 第一哲学科 研究員
- 2018/04 - 2021/03 北陸先端科学技術大学院大学 先端科学技術研究科 Doctoral Research Fellow (特別採用)
前のページに戻る