| | | | | 格蕴涵代数中滤子的若干性质 | | | 王学芳;徐扬;宋振明 | | | 首先给出了滤子的几个等价条件 ,接着定义了固执滤子 ,证明了固执滤子 ,极大关联滤子 ,极大正关联滤子相互等价 ,得出了超滤是固执滤子及固执滤子是素滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件 ,即对任意一个格蕴涵代数L′,总存在一个从L到L′蕴涵同态 ,使这个滤子就是同态的对偶核。
【作者单位】：西南交通大学应用数学系 四川成都610031
(王学芳;徐扬);西南交通大学应用数学系 四川成都610031(宋振明)
【关键词】：超滤;同态;滤子;格蕴涵代数
【基金】：国家自然科学基金项目 (6 0 0 740 14;6 98740 33)
【分类号】：O159
【DOI】：cnki:ISSN:0258-2724.0.2001-05-020
【正文快照】：
为了研究格值命题逻辑系统 ,文献 [1 ]提出了格蕴涵代数的概念 ,并讨论了它的一些性质。在文献 [2 ]中又引入了滤子及关联滤子 ,探讨了它们的一些性质。文献 [3]提出了正关联滤子、结合滤子的概念 ,给出了它们的等价条件。本文中进一步讨论这些滤子的性质、等价条件以及几种滤 | | | | | |  推荐 下载CAJ全文  下载PDF全文 | | | CAJViewer7.0阅读器支持所有CNKI文件格式，AdobeReader仅支持PDF格式 | | | | Some Properties of Filters in Lattice Implication Algebras | | | WANG Xue fang;XU Yang;SONG Zhen ming (Dept. of Appl. Mathematics;Southwest Jiaotong University;Chengdu 610031;China) | | | Several equivalent conditions for filters are given, and the definition of obstinate filters is introduced. Obstinate filters, maximal implicative filters and maximal positive implicative filters are proved equivalent to each other. It is also concluded that ultrafilters are obstinate filters and obstinate filters are prime filters. An equivalent condition for the obstinate filter L is provided through implication homomorphism, that is, for arbitrary lattice implication algebra L′, there always exists an implication homomorphism from L to L′, such that this filter is a dual kernel of this homomorphism..
【Keyword】：ultrafilter;homomorphism;filter;lattice implication algebra |
| | | | | | 1 | Birkhoff G; On the structure of abstract algebras [M];Proceedings of the Cambridge Philosophical Society; 1935年 | | 2 | R.P. Dilworth; A decomposition theorem for partially ordered sets [M];Ann. Math; 1950年 | | 3 | Yang Xu,Da Ruan,Keyun Qin,Jun Liu; Lattice-valued logic [M];; 2003年 | | 4 | Xu Y, Qin K Y; On filters of lattice implication algebras [J] [M];Journal of Fuzzy Math.; 1993年 | | 5 | Huang T M, Xu Y, et al; Application and Introductions of Lattice and Order[M] [M];; 1998年 | | 6 | Xu Y, ,Qin K Y; Lattice H implication algebras and lat- tice implication algebra classes[J] [M];Journal of Hebei Mining and Civil Engineering Institute; 1992年 | | 7 | Draskovicova H, Fofanova T S, Igoshin V I, et al; Ordered sets and lattices[J] [M];American Mathematical So- ciety, Translations Series; 1992年 | | 8 | Birkhoff G; Lattice theory[M] [M];; 1967年 | | 9 | Davey B A, Priestley H A; Introduction to lattice and order[M] [M];; 1990年 | | 10 | Xu Y; Lattice implication algebras[J] [M];Journal of South- west Jiaotong University; 1993年 |
|
| | | | | | 1 | 王学芳,徐扬,宋振明; 格蕴涵代数中滤子的若干性质 [J];西南交通大学学报; 2001年05期; 86-89 | | 2 | 王学芳,徐扬,宋振明; 格蕴涵代数的单性与周期性 [J];西南交通大学学报; 2003年01期; 7-10 | | 3 | 秦克云,徐扬; 格蕴涵代数的超滤 [J];西南交通大学学报(自然科学版); 1999年01期; 53-56 | | 4 | 徐扬，秦克云; 模糊格蕴涵代数 [J];西南交通大学学报; 1995年02期; 121-127 | | 5 | 吴介儒,陈水利; 模糊格中滤子的σ-收敛性 [J];武汉城市建设学院学报; 1999年02期; 50-53 | | 6 | 秦克云,徐扬; 格蕴涵代数的模型论性质 [J];西南交通大学学报; 2000年05期; 98-102 | | 7 | 张玥,邹健; 平稳向量过程在绝对可加滤子下的性态 [J];安徽工程科技学院学报(自然科学版); 2005年01期; 7-12 | | 8 | 张运杰; 关于格蕴涵代数的一个注记 [J];辽宁工学院学报; 1995年02期; 82-84 | | 9 | 王伟,徐扬,秦克云; 格蕴涵代数的拓扑结构 [J];西南交通大学学报; 2002年03期; 119-122 | | 10 | 秦克云,涂文彪; 粗糙集代数与格蕴涵代数 [J];西南交通大学学报; 2004年06期; 54-57 |
|
|
|