剩余格及有界psBCK-代数成为布尔代数的充要条件

来源 :模糊系统与数学 | 被引量 : 0次 | 上传用户:ncwuer
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
研究了一般剩余格(未必可换)与布尔代数的关系,给出剩余格成为布尔代数的一系列充要条件.同时,进一步将这些结果推广到只含有蕴涵运算的有界psBCK-代数中,证明了在一定条件下由psBCK-代数可诱导出有界格且构成布尔代数.
其他文献
有机电致发光具有结构简单、成本低、平面光源、节省能源等优点,其中掺杂型电致发光二极管因可以同时利用单重态和三重态的激子来发光和理论上能使器件内量子效率达到100%而
研究了次正定复矩阵的次Lǒwner偏序,探讨了次正定复矩阵次Schur补次Lǒwner偏序的若干性质,得到了几个用低阶复矩阵的次正定性判别高阶复矩阵次正定性的充要条件.
以经典力学模型--质量-阻尼-弹簧欠阻尼二阶线性系统为研究对象,当系统的阻尼系数和固有频率同时受乘性高斯噪声干扰时,利用此系统产生的随机共振来消除此类噪声.理论分析表
利用g-割线证明了四角系统G是2-共振的当且仅当G中任意两个互不相交的边界正方形是相互共振的.
对算子方程X+A*X-2A=Q有正算子解的条件做了进一步的研究,得到了方程有正算子解时A,Q,X的范数、谱半径之间新的关系.并给出了算子方程X+A*X-tA=Q有正算子解的一些条件.
激光诱导击穿光谱(LIBS)技术是基于激光诱导等离子体发光探测物质成分的方法。激光诱导等离子体的发射谱线由两部分组成:一部分是电子-离子复合及自由电子相互作用辐射的宽带
利用前文中建立的AM1级别上最大重迭对称性分子轨道计算方案,并结合最大键级杂化轨道方法,在对分子几何优化的基础上,计算系列化合物分子中各原子的电荷分布和杂化轨道组成系
利用(λ,μ)-截集,在一个半群中引入了(λ,μ)-模糊素理想、模糊半素理想、模糊准素理想与模糊半准素理想的概念,研究了他们的运算性质,井得到了他们的一些等价条件.
本文主要研究非自治时标动力学方程x△=f(t,x),(t,x)∈T×Rn的平凡解稳定、一致稳定、渐近稳定,与不稳定的充分必要条件.在定理的证明中充分性主要利用K类函数严格单调递增和
以2,6-二甲基吡啶为原料,经KMnO4氧化、二乙胺酰胺化、吡啶环自由基亲核取代反应得到N2,N2,N6,N6-四乙基-4-羟甲基吡啶-2,6-二甲酰胺,然后用Sarret试剂氧化得到标题化合物并