否定概念に着目した異なる論理の共存の証明論的研究

以否定概念为重点的不同逻辑共存的证明研究

基本信息

  • 批准号：
    22KJ0108
  • 负责人：
    豊岡 正庸
  • 金额：
    $ 1.73万
  • 依托单位：
    Hokkaido University
  • 依托单位国家：
    日本
  • 项目类别：
    Grant-in-Aid for JSPS Fellows
  • 财政年份：
    2023
  • 资助国家：
    日本
  • 起止时间：
    2023-03-08 至 2025-03-31
  • 项目状态：
    未结题

项目摘要

令和4年度は(1)推件計算G(C+J)の述語論理への拡大(2)厳密含意論理＋actualityの推件計算の提供の2点が目標であった。(1)については目論見通り拡大が可能であった。述語論理は命題論理よりも表現力が高く、例えば「すべてのxについて・・・」と「あるxについて・・・」という文の関係を表現することができる。この内容はProceedings of the 10th International Conference on Non-Classical Logics. Theory and Applicationsに掲載された。また、G(C+J)を応用し、直観主義論理および古典論理の意味論的性質について、国際鍵であるLENLS19で発表した。また、G(C+J)の先行研究の誤りに気づき、その指摘と修正方法を記載した論文も投稿中である。(2)については、経験的否定＋厳密含意論理/直観主義論理の推件計算の提供のための足掛かりとする予定であったが、これらの論理に対して直接計算を与えることが可能であることに気づき、実際に計算の構成に成功した。さらに、これらの論理の述語論理への拡大も行った。経験的否定は古典論理と似た性質をもつため、経験的否定＋直観主義論理は古典論理と直観主義論理の組み合わせとみることができる。また、厳密含意論理は直観主義論理から、意味論的な性質を落としてえられる論理であり、直観主義論理の一般化ということができる。ゆえに、経験的否定＋厳密含意論理は古典論理と直観主義論理の一般化の組み合わせとみることができる。経験的否定＋直観主義論理およびその述語論理への拡大については国際ワークショップである4th Workshop on Proof Theory and Its Applicationsで発表した。今後はこれらの内容をまとめ、論文として投稿する予定である。
Make and 4 year は (1) a calculation G (C + J) の predicate logical へ の big company, (2) 厳 secret meaning logical + actuality の ejecting provide の の 2 が target で あ っ た. (1)に, に, て, て. For a general theory, see に, 拡, most が, possibly であった. Logical predicate logical は proposition よ り も high expression が く, example え ば "す べ て の x に つ い て..." と "あ る x に つ い て..." と い う article の を masato department performance す る こ と が で き る. the <s:1> <s:1> Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applicationsに published された. ま た, G (C + J) を 応 with し, straight 観 logical お よ び の means concerning the nature of the classical theories に つ い て, international key で あ る LENLS19 で 発 table し た. Youdaoplaceholder0, G(C+J) である preliminary research on the error of <s:1> に, づ また, そ と, と correction method を record た た paper また submission in である. (2) に つ い て は, 経 験 denial + 厳 secret meaning の push a logical/straight 観 socialist theories provide の の た め の foot hanging か り と す る designated で あ っ た が, こ れ ら の logical に し seaborne て directly calculated を and え る こ と が may で あ る こ と に 気 づ き, the event be に calculation の に successful し た. Youdaoplaceholder0, へ れら <s:1> argumentative <s:1> expository argumentative へ 拡 major さらに line った. 経 験 nature of negative と は classical theories like た を も つ た め, 経 験 denial + straight と は 観 socialist theories of classical theories straight の group み 観 socialist theories and わ せ と み る こ と が で き る. ま た, 厳 は straight 観 socialist logical implication theories か ら fall, means that the nature of な を と し て え ら れ る logical で あ り, straight 観 logical の generalization と い う こ と が で き る. Youdaoplaceholder0, the negation of experience +厳 the esoteric theory, the classical theory と the direct 観 theory, the generalization <s:1> group み the わせとみる わせとみる とがで る る る る る る る る る る る る. 経 験 negative + straight 観 socialist theories お よ び そ の predicate logical へ の company, big に つ い て は international ワ ー ク シ ョ ッ プ で あ る 4 th Workshop on Proof and found the and Its Applications で 発 table し た. In the future, the content of れら て れら れら をまとめ and the submission of papers と て て will be confirmed as である.

项目成果

期刊论文数量（5）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
A tree-sequent method for intermediate predicate logic CD expanded with empirical negation
经验否定扩展的中间谓词逻辑CD树序法
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    豊岡正庸;佐野勝彦;稲荷森輝一;稲荷森輝一;Masanobu Toyooka
  • 通讯作者：
    Masanobu Toyooka
A proof-theoretic analysis of meaning of a formula in a combination of intuitionistic and classical propositional logic
结合直觉主义和经典命题逻辑对公式意义进行证明理论分析
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    豊岡正庸;佐野勝彦;稲荷森輝一;稲荷森輝一;Masanobu Toyooka;Masanobu Toyooka
  • 通讯作者：
    Masanobu Toyooka
Combining First-Order Classical and Intuitionistic Logic.
结合一阶经典逻辑和直觉逻辑。
直観主義命題論理と古典命題論理の組み合わせ論理C+Jに対する論理式の意味の証明論的な分析
组合逻辑逻辑公式意义的证明分析直觉命题逻辑与经典命题逻辑C+J
  • DOI：
  • 发表时间：
    2022
  • 期刊：
  • 影响因子：
    0
  • 作者：
    豊岡正庸;佐野勝彦;稲荷森輝一;稲荷森輝一;Masanobu Toyooka;Masanobu Toyooka;豊岡正庸
  • 通讯作者：
    豊岡正庸
直観主義論理と古典論理の組み合わせにおけるcollapsing problemと、シークエント計算におけるその回避方法について
直觉逻辑与经典逻辑结合的崩溃问题以及后续计算中如何避免
  • DOI：
  • 发表时间：
    2023
  • 期刊：
  • 影响因子：
    0
  • 作者：
    Sato Yuji;Sato Mikiko;豊岡正庸・佐野勝彦
  • 通讯作者：
    豊岡正庸・佐野勝彦
{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}

数据更新时间：{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ monograph.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者：
    {{ item.author }}

数据更新时间：{{ patent.updateTime }}

豊岡 正庸其他文献

豊岡 正庸的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI：
    {{ item.doi }}
  • 发表时间：
    {{ item.publish_year }}
  • 期刊：
    {{ item.journal_name }}
  • 影响因子：
    {{ item.factor }}
  • 作者：
    {{ item.authors }}
  • 通讯作者：
    {{ item.author }}
立即体验
{{ showInfoDetail.title }}

作者：{{ showInfoDetail.author }}

知道了