ENGLISH 使い方
文献、特許、研究者などの科学技術情報サイト
研究者
J-GLOBAL ID:202001018422668210   更新日: 2025年01月07日

仁木 哲

ニキ サトル | Niki Satoru
所属機関・部署:
職名: 学術協力者
研究分野 (1件): 哲学、倫理学
研究キーワード (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 (特別採用)
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る