大森 仁

研究成果

年別の研究成果 2010 2017 2019 2021 2022 2024 2025

• 26 学術論文
• 17 会議への寄与
• 9 章
• 6 会議記事
• 2 その他
  • 2 編集

年別の研究成果

年別の研究成果

検索結果

• 2024

  A note on Grigoriev and Zaitsev’s system CNL²₄

  Omori, H. & Arenhart, J. R. B., 2024 12月 31, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 415, p. 229-243 15 p.

  研究成果: ジャーナルへの寄稿 › 会議記事 › 査読

  Open Access

  • Connectives 100%
  • Proof 100%
  • Truth Value 100%
  • Underdetermination 100%
  • Philosophical Problem 100%

• Kamide is in America, Moisil and Leitgeb are in Australia

  Niki, S. & Omori, H., 2024 12月 31, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 415, p. 180-194 15 p.

  研究成果: ジャーナルへの寄稿 › 会議記事 › 査読

  Open Access

• The Disjunction-Free Fragment of D₂ is Three-Valued

  Omori, H., 2024 12月 31, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 415, p. 257-270 14 p.

  研究成果: ジャーナルへの寄稿 › 会議記事 › 査読

  Open Access

  • Disjunction 100%
  • Classical Logic 100%
  • Axiomatization 33%

• The Power of Generalized Clemens Semantics

  Omori, H. & Arenhart, J. R. B., 2024 12月 31, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 415, p. 244-256 13 p.

  研究成果: ジャーナルへの寄稿 › 会議記事 › 査読

  Open Access

  • Classical Logic 100%
  • Ordered Pair 100%
  • Consequence Relation 100%
  • Philosophical Implication 100%
• 2022

  Another Combination of Classical and Intuitionistic Conditionals

  Niki, S. & Omori, H., 2022 4月 14, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 358, p. 174-188 15 p.

  研究成果: ジャーナルへの寄稿 › 会議記事 › 査読

  Open Access

  • Soundness 100%
  • Nonclassical Logic 100%
  • Proponent 100%
  3 被引用数 (Scopus)

• Superconnexivity Reconsidered

  Kapsner, A. & Omori, H., 2022 4月 14, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 358, p. 160-173 14 p.

  研究成果: ジャーナルへの寄稿 › 会議記事 › 査読

  Open Access

  • Slight Modification 100%
  • Desired Result 100%
  • Attention 100%
  2 被引用数 (Scopus)