真理値関手を持つKripke意味論

具有真值函子的 Kripke 语义

• 批准号: 08740131
• 负责人: 鈴木 信行
• 金额: $ 0.7万
• 依托单位: Ibaraki University
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Encouragement of Young Scientists (A)
• 财政年份: 1996
• 资助国家: 日本
• 起止时间: 1996 至 无数据
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-08740131/
• 关键词: 非古典論理; 述語論理; クリプキ意味論; Kripke semantics

基礎となるクリプキ・タイプ意味論として、クリプキ層を採れば、真理値関手は、Heyting代数を値とする特別な前層と見ることが出来る。すると、比較的考察の見通しが良くなる。この着想に基づき、意味論的な構造を研究した。まず、categoricalな概念や、構造上の性質を導入し、従来の意味論との対応を調べた。また、通常の層における自然変換や圏における関手を真理値関手を持つクリプキ層意味論の立場から解釈することを考え、基本的な結果を得た。これによって、通常の層の意味での自然変換が、p-morphismという意味論上の概念と、ほとんど対応することがわかった。そこから意味論の幾つかの自然な結果が導かれた。それを応用して、様相論理、非古典述語論理、特に中間述語論理などを研究した。これらについては、論文1本を投稿中である。また、可能世界意味論の到達可能関係を部分関数に拡張することで、自然にfuzzy可能世界意味論が導入できることを示し、固定固体領域での述語論理を議論した。これは自然に述語多様相論理(無限多様相)になる。この論理の完備な公理化を与え、さらにその拡大について調べた。成果は、上記の投稿中の論文以外に、2つの国際ワークショップと、日本数学会の秋季総合分科会、国内の2つの研究集会で、発表した。このうち、国際ワークショップ"The 4th Inernational Workshop on Rough Sets,Fuzzy Sets and Machine Discovery"については、Proceedingsが発行され、後に本が出版される予定である。

The meaning of basic information is to discuss the truth, the Heyting algebra, and so on. The investigation of the comparison and comparison between the two groups is a good one. The purpose of this paper is to make a study of the basis and meaning of the discussion. The concept of sex, the concept of categorical, the concept of sex, sex, sex and sex. In general, it is necessary to know the truth, the truth. In terms of concept, "p-morphism" usually means "natural", "usually" means "natural", "natural" means "conceptual" in terms of theory. If you don't know what to do, it means to talk about how you feel about it. There is no classical description of the truth, and there is a special description of the truth in the study. I am sorry to hear that I have submitted a copy of this article. The possibility of the world means that it is possible to achieve the number of the possible parts of the world, the natural fuzzy, the possible world, the fixed solid field, the fixed solid field, and the fixed solid field. It is natural to describe the multi-phase relationship (unlimited multi-phase). After the completion of the axiomatization and axiomatization, we have finished the practice of axiomatization and axioms. Achievements, articles other than articles in the contributions above, international trade papers, autumn branch meetings of the Japanese Mathematical Society, domestic research gatherings, and tables. This book will be published in the following years: The 4th Inernational Workshop on Rough Sets,Fuzzy Sets and Machine Discovery, Proceedings, and then the book will be published.

项目成果

Nobu-Yuki Suzuki: "Predicate multimodal logics for graded accessibility and fuzzy possible world semantics" Proceedings of The 4th International Workshop on Rough Sets, Fuzzy Sets and Machine Discovery. 105-110 (1996)

Nobu-Yuki Suzuki：“用于分级可访问性和模糊可能世界语义的谓词多模态逻辑”第四届粗糙集、模糊集和机器发现国际研讨会论文集。