共查询到20条相似文献,搜索用时 62 毫秒
1.
MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格 总被引:1,自引:0,他引:1
基于剩余格的理论与方法给出了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格代数的定义的等价形式;进一步指出了各种逻辑代数的剩余格的代数本质.说明了剩余格在逻辑代数系统中的重要地位;分析了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数以及基础R0代数之间的相互关系,为进一步的研究奠定了必要的基础. 相似文献
2.
研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L^*系统,提出了WBR0-代数的观点,讨论了它与BR0-代数的关系,简化了BR0-代数的定义,在讨论正则FI-代数与正则剩余格之间关系的基础上,讨论了BR0-代数与FI-代数的相互关系. 相似文献
3.
引入偏序集上的弱蕴涵代数的概念,证明它在满足条件(x→y)→y=(y→x)→x时构成M V代数,也构成弱R0代数.同时探讨了关联蕴涵代数与剩余格及BL代数之间的关系. 相似文献
4.
5.
颉永建 《陕西理工学院学报(社会科学版)》2004,22(6):11-16
给出了广义R0-代数中滤子、素滤子的定义.给出了广义R0-代数中素滤子的一些重要性质.为进一步研究广义R0-代数的结构奠定了基础. 相似文献
6.
7.
8.
格蕴涵代数不等式的解 总被引:1,自引:0,他引:1
龙希庆 《内江师范学院学报》2011,26(2):8-10
在格蕴涵代数中研究两类格蕴涵代数不等式,分别讨论了两类不等式有解的充分必要条件,在此基础上给出格蕴涵代数不等式的具体解集并证明其解集分别是L的一个凸子格和子格. 相似文献
9.
傅丽 《陕西理工学院学报(社会科学版)》2002,20(6):5-7
讨论了L*-Lindenbaum代数在R0蕴涵下的Fuzzy表示定理。即M是L*-Lindenbaum代数当且仅当M同构于某一R0方体上的若干Fuzzy集关于包含序所成的格。 相似文献
10.
11.
研究了应用烯基膦亚胺1与间氯苯基异氰酸酯、对甲硫苯酚的串联aza-Wittig反应,来合成2-(4-甲硫基苯氧基)-5-芳基亚甲基-4H-咪唑啉-4-酮衍生物3的方法.探讨了反应进行的条件和产物的波谱性质,提出了可能的环化反应机理.生成的环化产物均为新的化合物,其结构经元素分析、IR、~1HNMR和MS确正.并探讨了所合成的新型杂环化合物的生物活性,结果表明部分化合物表现出良好的抑菌活性,其中以3e及3f活性最好,在质量分数5×10~(-5)时,对水稻纹枯菌和苹果轮纹菌的抑制率均达到85%~95%的A级水平. 相似文献
12.
袁先友 《湖南科技学院学报》2001,22(3):4-6
研究了以1-十八醇和丙二酸二乙酯为原料合成二正十八烷基丙二酸二乙酯,然后用LiAlH4还原得到2,2-二正十八烷基-1,3-丙二醇,再在对甲苯磺酸催化下与β-溴丙醛缩合得5,5-二正十八烷基-2-(2-溴乙基)-1,3-二氧六环.并对产物的重结晶条件进行了研究,产物经元素分析、IR和1HNMR光谱表征. 相似文献
13.
敦煌写本《文明判集残卷》研究 总被引:1,自引:0,他引:1
敦煌写本《文明判集残卷》 ,使我们在解构作为裁判载体的唐代法律文书本身的结构格式、辞章、共同特点时 ,为我们以史为经对法律文书的递变做纵向研究支撑起无法替代的历史平台。它格调庄严、简约有致的风格 ,博大的哲学理念 ,鲜活的法、理、情的和谐统一 ,不难从中窥视中华法系中的法文化、法意识和法律制度 ,见证其与西方法律的殊途同归 相似文献
14.
黄全毅 《康定民族师范高等专科学校学报》2014,(1):1-8
司徒·曲吉迥乃是四川省甘孜藏族自治州德格人,他生活在十八世纪。司徒·曲吉迥乃重建了八邦寺,主持德格印经院的早期工作。司徒·曲吉迥乃作为大学者在佛学、文学、医学、美术等多方面有极大贡献,得到世人的敬仰。 相似文献
15.
杜超 《贵阳学院学报(自然科学版)》2011,6(2):45-48
以2-(2-氯乙基)-5-氯-6-苯基-3(2H) -哒嗪酮和相应的醇为原料在温和的反应条件下,经付-克烷基化、闭环、取代、消除、醚化五步反应合成了5种未见文献报道的新的2-(2-烷氧基乙烯基)-6-苯基-5-氯-3(2H) -哒嗪酮化合物,所有化合物均经IR、1H NMR、13C NMR和元素分析对其结构进行了表... 相似文献
16.
张来新 《乐山师范学院学报》2001,16(4):26-27
以多聚磷酸(PPA)为催化剂和反应溶剂,将冠醚进行酰化,合成了3-甲基茚酮-[1]-5,6-苯并-15-冠-5.合成产物由IR,MS和元素分析鉴定了结构. 相似文献
17.
张伟军 《荆门职业技术学院学报》2002,17(3):15-21
从教师的角度,分析了人工出卷的全过程,由此建立了通用考试系统出卷子系统抽卷的数学模型,本模型从题型、知识点和难度三个方面对抽卷进行了控制,并利用Visual FoxPro6.0编程进行了测试,证明了本模型的可行性与实用性. 相似文献
18.
本文研究了以对甲苯磺酸作催化剂,3—溴丙醛与2—烷基—1,3—丙二醇的缩醛化反应。该反应能在室温下进行,产率达65%以上。 相似文献
19.
胡怀生 《商丘师范学院学报》2005,21(5):120-121
用二氯甲烷作溶剂,以PEG-400为催化剂,合成N-(4-氯苯甲酰基)-N'-(2-氯苯基)硫脲,并用红外光谱对其结构进行表征. 相似文献