模糊命题演算系统■~*的简化与独立性
Simplification and Independence of the Fuzzy Propositional Calculus System ■~*作者机构：浙江理工大学数学研究所浙江杭州310018
出 版 物：《模糊系统与数学》 (Fuzzy Systems and Mathematics)
年 卷 期：2006年第20卷第1期
页 面：1-10页
核心收录：
学科分类：01[哲学] 0101[哲学-哲学] 010104[哲学-逻辑学] 07[理学] 070104[理学-应用数学] 0701[理学-数学]
基 金：国家973项目(2003CB316902) 国家自然科学基金资助项目(No.60475019)
主 题：模糊逻辑 模糊命题演算系统L^* 独立性 t-范基逻辑
摘 要：模糊逻辑命题演算系统■*在模糊逻辑与模糊推理的结合研究中得到了成功的应用。本文进一步研究系统■*的语法结构,得到了一些有趣的新结果,特别是给出了它的一个简化形式,并证明了这个简化公理系统的独立性。
维普期刊数据库
同方期刊数据库