中村，亚基拉;高建明 关于KTB模态模糊逻辑。 （英语） Zbl 0754.03014号 模糊集系统。 45，第327-334号（1992年）. 考虑了经典KTB模态逻辑对模糊情况的扩展。引入了相似性的新概念，并在此基础上提出了一种模糊逻辑。此外，公式的有效性是通过引入逻辑结果的概念来定义的。然后，用tableau方法描述了该逻辑的决策过程。KTB模态模糊逻辑是指基于自反和对称关系的模态模糊逻辑。审核人：S.Miura（冈崎/爱知） 引用于8文件 MSC公司： 03B52号 模糊逻辑；模糊逻辑 03B45 模态逻辑（包括规范逻辑） 关键词：S5-系统;逻辑结果;决策程序;表格法;KTB-模态模糊逻辑 PDF格式BibTeX公司 XML格式引用 \textit{A.Nakamura}和\textit{J.-M.Gao}，模糊集系统。45，第3号，327--334（1992；Zbl 0754.03014） 全文： 内政部 参考文献： [1] 克莱夫，J.P.，《不精确证明逻辑中逻辑结果的概念》，《数学》。Logik Grundlag公司。数学。，20, 307-324 (1974) ·Zbl 0299.02015 [2] Farinas del Cerro，L。；Prade，H.，粗糙集，双重模糊集和模态逻辑。不可分辨性和部分信息中的模糊性，（Di Nola，A.；Ventre，A.G.S.，《模糊系统的数学》（1986），Verlag TüV Rheinland:Verlag TüV Reheinland Köln），103-120·Zbl 0593.03032号 [3] Nakamura，A。；Gao，J-M.，《模糊数据分析的逻辑》，模糊集与系统，39127-132（1991）·Zbl 0729.03015号 [4] A.Nakamura，拓扑软代数及其应用，模糊集与系统；A.Nakamura，拓扑软代数及其应用，模糊集与系统 [5] Pawlak，Z.，《粗糙集》，国际出版社。J.通知。计算。科学。，11, 341-356 (1982) ·Zbl 0501.68053号 [6] （Smets，P.；Mamdani，E.H.；Dubois，D.；Prade，H.，《自动推理的非标准逻辑》（1988），学术出版社：纽约学术出版社）·Zbl 0669.03002号 [7] Smullyan，R.M.，《一阶逻辑》（1968），《斯普林格-弗拉格：柏林斯普林格》·Zbl 0172.28901号 [8] 扎德，洛杉矶，模糊集，信息。和控制，8338-353（1965）·Zbl 0139.24606号 [9] Zadeh，L.A.，相似关系和模糊排序，Inform。科学。，177-200年3月（1971年）·Zbl 0218.02058号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。