纺织高校基础科学学报
紡織高校基礎科學學報
방직고교기출과학학보
BASIC SCIENCES JOURNAL OF TEXTILE UNIVERSITIES
2006年
4期
345-348
,共4页
三角余模%s代数%Heyting代数%BL代数
三角餘模%s代數%Heyting代數%BL代數
삼각여모%s대수%Heyting대수%BL대수
s代数是与格上三角余模相关的一种代数.以s代数概念为基础,对其性质进行了讨论,并给出了它与其他逻辑代数间的关系,证明了s代数是一个Heyting代数.最后讨论了 s代数构成BL代数的充要条件,从而为研究不同的逻辑代数以及它们之间的关系奠定了一定的理论基础.
s代數是與格上三角餘模相關的一種代數.以s代數概唸為基礎,對其性質進行瞭討論,併給齣瞭它與其他邏輯代數間的關繫,證明瞭s代數是一箇Heyting代數.最後討論瞭 s代數構成BL代數的充要條件,從而為研究不同的邏輯代數以及它們之間的關繫奠定瞭一定的理論基礎.
s대수시여격상삼각여모상관적일충대수.이s대수개념위기출,대기성질진행료토론,병급출료타여기타라집대수간적관계,증명료s대수시일개Heyting대수.최후토론료 s대수구성BL대수적충요조건,종이위연구불동적라집대수이급타문지간적관계전정료일정적이론기출.
