Quasi—uniformities on Lattice Implication Algebras

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＩｎｏｒｄｅｒｔｏｒｅｓｅａｒｃｈｔｈｅｌｏｇｉｃａｌｓｙｓｔｅｍｗｈｏｓｅｐｒｏｐｏｓｉｔｉｏｎａｌｖａｌｕｅｉｓｇｉｖｅｎｉｎａｌａｔｔｉｃｅ，ＸｕＹ．［Ｘｕ２］ｐｒｏｐｏｓｅｄｔｈｅｃｏｎｃｅｐｔｏｆｌａｔｔｉｃｅｉｍｐｌｉｃａｔｉｏｎａｌｇｅｂｒａａｎｄｄｉｓｃｕｓｓｅｄｉｔｓｓｏｍｅｐｒｏｐｅｒ－ｔｉｅｓｉｎ［Ｘｕ１］ａｎｄ［Ｘｕ２］．Ａｌｓｏ，ｉｎ［ＸＱ１］，ＸｕＹ．ｔｏｇｅｔｈｅｒｗｉｔｈＫ．Ｙ．Ｑｉｎｄｉｓｃｕｓｓｅｄｔｈｅｐｒｏｐ－ｅｒｔｉｅｓｏ…     

有界超格上的微分

在有界超格上引入微分,研究了有界超格上微分的一些性质.定义并研究了微分超格的微分超理想和微分超同余,并证明了如果$(L,d)$是一个有界强单微分超格并且$R$是$(L,d)$的一个强微分同余,则$(L/R,g)$仍是一个强单微分超格,其中$g$是由$d$诱导的商超格上的单强微分.     

BCI—代数的Fuzzy强蕴涵理想

本文引入了ＢＣＩ－代数的强蕴函理想的概念，研究了它的性质，同时讨论了ＢＣＩ－代数中的Ｆｕｚｚｙ关系。