AI 中文总结
本文提出基于谓词丛的多值逻辑新模型，定义相关真值度与运算，研究集合丛并解决模态逻辑的必然性/可能性问题及连锁悖论。
AI 中文摘要
本文基于谓词丛的概念提出了一种多值逻辑的新模型，对该模型中谓词的真值度及各类逻辑运算进行了严格定义与研究；此外，作为谓词丛特殊类型的集合丛也被深入探讨，为模糊集及语言学中的某些形容词、副词提供了严格模型；同时，还给出了模态逻辑中必然性/可能性问题及连锁悖论的解决方案。
英文摘要
In this paper, a new model for multi-valued logic is presented based on the notion of a bundle of predicates. The degree of truth and various logical operations for predicates in our model of multi-valued logic are rigorously defined and investigated. Furthermore, the bundle of sets as a special type of predicate bundles is thoroughly investigated to provide a rigorous model for fuzzy sets and certain adjectives/adverbs in linguistics. In addition, solutions to necessity/possibility and the sorites paradox in modal logic are given.
Comments48 pages, 12 figures
