伪t-模与L-关系方程

摘要：

介绍了完备Brouwer格上的伪t-模与蕴涵算子的概念和一些重要结论.利用方程T(a,x)=b与方程I(a,x)=b解的相关结论讨论了sup-T类L-关系方程A(R)(y)=B(y)与inf-I类L-关系方程A (R)(y)=B(y)解的结构,并在一定条件下分别得到了它们的解集.文中L为完备Brouwer格,T为无穷V-分配伪t-模,I是无穷∧-分配蕴涵算子,I=I(T),a,b,x∈L,A∈LX和B∈LY是两个已知L-子集,R∈LX×Y是未知L-关系.

关键词：非经典逻辑、t-模、伪t-模、蕴涵、L-关系方程

所属期刊栏目：12

分类号：O153.1(代数、数论、组合理论)

在线出版日期：2004-01-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：5-8