構成性を制御しながら直観主義論理を拡大する

在控制组合性的同时扩展直觉逻辑

• 批准号: 20K03716
• 负责人: 鈴木 信行
• 金额: $ 2.75万
• 依托单位: Shizuoka University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Scientific Research (C)
• 财政年份: 2020
• 资助国家: 日本
• 起止时间: 2020-04-01 至 2025-03-31
• 项目状态: 未结题
• 来源: https://kaken.nii.ac.jp/en/grant/KAKENHI-PROJECT-20K03716/
• 关键词: 非古典論理; 述語論理; 構成性; disjunction property; existence property; 直観主義的算術; 構成的推論; 中間述語論理

本研究のテーマを構成する構成性(constructivity)は、直観主義述語論理の際立った特徴として、数理論理学の重要な研究対象である。これを特徴的に表現しているとされる性質が、存在特性(existence property, EPと略記)と選言特性(disjunction property, DPと略記)である。超直観主義述語論理の枠組みで、これらの性質を独立に制御する手法が中心的目標である。今年度も昨年度に続き、構成性が古典論理において壊れていることを典型的に示すと考えられる冠頭標準形定理(prenex normal form theorem)を超直観主義述語論理の枠組みで考察することを起点に、構成性そのものではなく、「構成性がない」という裏側からアプローチを継続した。今年度得られた知見としては、超直観主義述語論理のクラスにおいては、冠頭標準形定理の様態が無限に異なることを示すことができた。すなわち、文字通りの冠頭標準形定理は成立するが、与えられた論理式の冠頭標準形が、古典論理で与えられる冠頭標準形の全体とは一致せず、その意味では互いに同じ「冠頭標準形定理」にならない超直観主義述語論理の実例が無限個のバリエーションを持つことが解ってきた。また、昨年度に引き続き、研究協力者とのディスカッションが進捗しており、本研究目的の一部であった構成的数学に関連する議論が進んだ。これについて共著論文が投稿された。日本数学会　秋季総合分科会(数学基礎論および歴史分科会)で研究成果を発表し、国際ワークショップで関連事項についての招待講演を行った。また、論文2つ（査読付き１、査読なし１）が出版された。

This study focuses on the constructivity of mathematical theory and the inter-positional characteristics of mathematical theory. The expression of a characteristic is a property, an existence property (EP), and a disjunction property (DP). The logic of ultra-direct theory is composed of two parts, namely, the nature, the independent control, the method and the central purpose. This year, the classical logic is composed of two parts: the classical logic and the constitutive logic. The classical logic is composed of two parts: the classical logic and the constitutive logic. This year, we have obtained the following results: (1) The theory of the standard form of the crown is infinite;(2) The theory of the standard form of the crown is infinite;(3) The theory of the standard form of the crown is infinite;(4) The theory of the standard form of the crown is infinite;(5) The theory of the standard form of the crown is infinite;(6) The theory of the standard form of the crown is infinite;(7) The theory of the standard form of the crown is infinite;(8) The theory of the standard form of the crown is infinite. The standard form theorem of the crown head is true, and the logical formula of the crown head is consistent with the classical logic, and the meaning of the standard form theorem of the crown head is consistent with each other. This paper discusses the mathematical relationship between the research collaborators and the authors of this paper. This article is published in Chinese. Japanese Mathematical Society Autumn Conference (Mathematics Foundation and History Conference) The first two chapters (1) and (2) were published.

项目成果

中間述語論理における選言特性と存在特性

中间谓词逻辑中的析取和存在属性

• 发表时间: 2020
• 作者: R.E.L. Aldred;J. Fujisawa;A. Saito;鈴木信行
• 通讯作者: 鈴木信行

超直観主義述語論理における Prenex normal form theorem に関する覚書

超直观谓词逻辑中的 Prenex 范式定理备忘录

• 发表时间: 2022
• 期刊: 京都大学数理解析研究所講究録
• 作者: Kojima Fuhito;Sun Ning;Yu Ning Neil;清水崇;西平等;Yumi NAKAYAMA;滝澤三郎;小川浩之;西田充;鈴木 信行
• 通讯作者: 鈴木 信行

A Negative Solution to Ono’s Problem P52: Existence and Disjunction Properties in Intermediate Predicate Logics

小野问题 P52 的负解：中间谓词逻辑中的存在性和析取性质

• DOI: 10.1007/978-3-030-76920-8_9
• 发表时间: 2021
• 期刊: Hiroakira Ono on substructural logics, Outstanding Contributions to Logic
• 作者: Smith L. Vanessa;Tarui Nori;Yamagata Takashi;Mayama Akira;Suzuki Nobu-Yuki
• 通讯作者: Suzuki Nobu-Yuki

Two properties of quantifiers described as meta-theorems on some non-classical predicate logics

一些非经典谓词逻辑上被描述为元定理的量词的两个性质

• 发表时间: 2022
• 作者: Fukao Kyoji;Makino Tatsuji;Settsu Tokihiko;山口輝臣・福家崇洋編;Nobu-Yuki Suzuki
• 通讯作者: Nobu-Yuki Suzuki

冠頭標準形定理が成り立つ中間述語論理についての注意

关于前缀范式定理成立的中间谓词逻辑的注释

• 发表时间: 2022
• 作者: Yasuyuki Hamura;Takahiro Onizuka;Shintaro Hashimoto;Shonosuke Sugasawa;Ippei Fujiwara;鈴木 信行
• 通讯作者: 鈴木 信行