论文部分内容阅读
在格蕴涵代数中定义了一类特殊的素对偶理想，讨论了它们的结构和性质，证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定，并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数，它和原格蕴涵代数具有格蕴涵代数同构关系。
格蕴涵代数的素对偶理想
【摘 要】
：
在格蕴涵代数中定义了一类特殊的素对偶理想，讨论了它们的结构和性质，证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定，并且这些特殊的素对偶理想全体自然地构
【机 构】
：
中国海洋大学数学系,中国海洋大学计算机系,西南交通大学智能控制开发中心
【出 处】
：
模糊系统与数学
【发表日期】
：
2006年5期
【基金项目】
：
国家自然科学基金资助项目（60474022）
其他文献
基于Quantale矩阵的定义，本文讨论了Quantale矩阵的行列式的若干性质。在交换Quantale情形下，得到｜AB｜≥｜A｜｜B｜，｜AB｜≤｜A＋B｜，｜AA^＊｜≤｜A｜，其中A^＊表示Quantale上的矩阵A的伴随矩阵。
青霉素(PG)皮试是临床上常用的一项技术.因青霉素价格便宜、疗效确切,不具毒性,作为一般感染性疾病的首选药之一,特别是对革兰阳性菌疗效很好,在临床广泛使用.但因其易发生过
在偏序集上引入了余伴随对((+),(-))的概念,并研究了它在格上的若干性质,提出了余剩余格理论,最后在此基础上给出了MV-代数的一个等价刻画.