论文部分内容阅读
以模糊语义为背景，在标号集具有一定结构的一族全序完备格的乘积上引入了抽象语义及其连续性概念，证明了具有这种连续性的抽象语义是紧致的，由此可以推出取值于「０，１」的Ｌｕｋａｓｉｅｗｉｃｚ语义是紧致的。
关于抽象逻辑紧致性的一个定理
【摘 要】
：
以模糊语义为背景，在标号集具有一定结构的一族全序完备格的乘积上引入了抽象语义及其连续性概念，证明了具有这种连续性的抽象语义是紧致的，由此可以推出取值于「０，１」的Ｌｕｋａｓｉｅｗｉｃｚ语义是紧致
【机 构】
：
陕西师范大学数学研究所
【出 处】
：
陕西师范大学学报：自然科学版
【发表日期】
：
2000年1期
【基金项目】
：
国家自然科学基金重点资助项目!(19831040)
其他文献
目的在系统比较大鼠鼻腔和灌胃给予咪达唑仑药动学特征的基础上,进一步比较酮康唑对2种给药途径药动学的影响。方法 24只大鼠随机分为4组,每组6只。其中2组分别经鼻腔或灌胃
研究了因子von Neumann代数中套子代数的插值问题.证明了存在算子B1,B2,…,Bn∈algMβ,使得∑BiAi=I当且仅当存在ε＞0;且对任意P∈β及x∈i=1H,有∑‖ P⊥Aix‖2≥ε2‖ P⊥x
组胺受体激动剂和拈抗剂的研究已经有半世纪，上世纪八十年代来才取得了重大进展．目前已研究组胺H1、H2和H2受体激动剂和拮抗剂．其激动剂在目前虽然没有临床应用，但它促进了拮抗剂
目的应用高内涵分析（HCA）技术快速识别对雄激素受体（AR）具有激动作用的药物。方法以稳定表达AR-增强绿色荧光蛋白融合蛋白（AR-EGFP）的人骨肉瘤细胞U2OS为模型,采用HCA技术观察本实
1999年，在陕西省药理学会第三次会员代表大会上，我有幸被选为陕西省药理学会第三届理事会秘书长，从此开始参与药理学会的工作。2003年以后，一直担任陕西省药理学会理事长。2002年