王文良
- 作品数：4 被引量：2H指数：1
- 供职机构：陕西理工大学数学与计算机科学学院更多>>
- 发文基金：陕西理工学院科研基金更多>>
- 相关领域：理学更多>>
- 命题逻辑的序结构被引量：1
- 2004年
- 含n个命题变元的合式公式A(P1,P2,…,Pn)组成的集合M关于命题公式的等值关系 构成的商集M/ ={CA| B∈CA M,A B}关于如下代数运算∨和序关系≤是一个特殊的双格半群,即F格半群:CA∨CB=CA∨B;CA∧CB=CA∧B;CA≤CB当且仅当A的每一成真赋值都是B的成真赋值( CA,CB∈M/ ),这里的∧运算是∨的对偶运算,而M上的∨、∧运算分别是逻辑"或"逻辑"与",同时给出了它的分子结构,并指出该F格半群与n元真值函数集构成的F格半群是同构的.
- 王文良
- 关键词：命题逻辑序结构双格半群分子
- Boole代数与双格半群
- 2004年
- 指出Boole代数类是双格半群类的真子类;有限Boole代数类是F 格半群类的真子类;当格群是Boole代数时,该格群一定是平凡的,同时给出一个双格半群(S, ,≤)是Boole代数的充要条件是:1 0∈S, x∈S,0≤x,0 x=x 0=x;2 x,y∈S,(x⊙y) x=x;3 x∈S, x′∈S,x⊙x′=x;4 x,y,z∈S,x y=x z,x⊙y=x⊙z x=y.
- 王文良
- 关键词：双格半群格群
- 关于广义格半群被引量：1
- 2002年
- 引入广义格半群的概念 ,进而对广义格半群与格半群以及相应的理想和 sl理想的相互关系及区别进行了讨论 ,指出格半群是广义格半群 ,反之则不一定 ,在广义格半群中理想集 I( S)是完备格 ,而 sl理想集却不能构成格 ,在格半群中 ,sl理想集是格 ,但是两个 sl理想的上确界不等于其并 ,广义格半群中的理想均能生成 sl理想 .
- 王文良
- 关键词：格半群完备格序半群偏序集
- 格半群相关概念的几点注记
- 2003年
- 引入广义格半群的概念,进而对广义格半群与格半群以及相应的理想和sl理想的相互关系及区别进行了讨论,指出凡格半群是广义格半群,反之则不一定。在广义格半群中理想集I(S)是完备格,而sl理想集SL(S)却不能构成格。在格半群中,sl理想集是格,但是2个sl理想的上确界不等于其并。广义格半群中的理想均能生成sl理想。
- 王文良
- 关键词：格半群完备格序半群偏序集
