豊岡正庸

トヨオカマサノブ | Toyooka Masanobu

所属機関・部署：
その他の所属（所属・部署名・職名） (1件)：

ホームページURL (1件)： https://sites.google.com/view/masanobutoyookaswebsite/home?authuser=0

研究分野 (1件)：哲学、倫理学

研究キーワード (12件)：論理多元主義 , 近傍意味論 , クリプキ意味論 , 否定概念 , シークエント計算およびその拡張 , 下位直観主義論理 , 超直観主義論理 , 異なる論理の組み合わせ体系 , 直観主義論理 , 厳密含意論理 , 推論主義 , 証明論的意味論

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

論文 (9件)：

Masanobu Toyooka, Katsuhiko Sano. Combining intuitionistic and classical propositional logic: Gentzenization and Craig interpolation. Studia Logica. 2024
Masanobu Toyooka, Katsuhiko Sano. Semantic incompleteness of del Cerro and Herzig's Hilbert system for a combination of classical and intuitionistic propositional logic. Australasian Journal of Logic. 2023. 20. 3. 396-410
Masanobu Toyooka. A proof-theoretic analysis of the meaning of a formula in a combination of intuitionistic and classical propositional logic. Logic and Engineering of Natural Language Semantics: 19th International Conference, LENLS19, Tokyo, Japan, November 19-21, 2022, Revised Selected Papers. 2023. 100-119
Masanobu Toyooka. A proof-theoretic analysis of meaning of a formula in a combination of intuitionistic and classical propositional logic (Abstract). Proceedings of the 19th International Workshop on Logic and Engineering of Natural Language Semantics (LENLS19). 2022. 77-81
Masanobu Toyooka, Katsuhiko Sano. Combining first-order classical and intuitionistic logic. Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications. 2022. 25-40

MISC (1件)：

Masanobu Toyooka, Katsuhiko Sano. Semantic incompleteness of Hilbert system for a combination of classical and intuitionistic logic. arXiv. 2022. abs/2207.07416

講演・口頭発表等 (18件)：

Two approaches of adding classical negation to intuitionistic logic
(French-Japan Colloquium: Disagreement in Logic and Reasoning 2024)
Cut-free sequent calculus for Wansing's expansion of Nelson's logic
(AWPL2024: 6th Asian Workshop on Philosophical Logic 2024)
ベース状況付きの弱下位直観主義論理に対する近傍意味論
(日本科学哲学会第56回大会 2023)
Generalizing Restall’s subintuitionistic logics over neighborhood semantics
(The Australasian Association for Logic Conference 2023 2023)
直観主義命題論理と古典命題論理の組み合わせ論理C+Jにおける真理概念の推論主義的な分析
(北海道大学・一橋大学哲学倫理学合同研究会 2023)

学歴 (3件)：

学位 (2件)：

経歴 (8件)：

2022/04 - 現在独立行政法人日本学術振興会特別研究員(DC1)
2023/07 - 2024/03 6th Asian Workshop on Philosophical Logic (AWPL 2024) Local Organizing Committee
2023/04 - 2023/09 北海道教育大学教育学部札幌校非常勤講師
2023/03 - 2023/03 Sapporo Mini-workshop on Non-classical logic Organizer
2023/02 - 2023/02 千葉工業大学人工知能・ソフトウェア技術研究センター研究協力者(外部)

全件表示

所属学会 (2件)：

科学基礎論学会 , 日本科学哲学会

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

豊岡 正庸