【摘 要】
:
目的研究逻辑度量空间的内蕴结构,讨论其中三角形的结构及相关性质。方法利用计量逻辑学理论中建立的距离函数进行计算。结果首先证明了在经典逻辑度量空间([F(S)],ρ)中存在等边
【机 构】
:
陕西师范大学数学研究所,西安理工大学机械与精密仪器工程学院
【基金项目】
:
国家自然科学基金资助项目(10771129), 陕西师范大学研究生培养创新基金资助项目(2009CXB006)
论文部分内容阅读
目的研究逻辑度量空间的内蕴结构,讨论其中三角形的结构及相关性质。方法利用计量逻辑学理论中建立的距离函数进行计算。结果首先证明了在经典逻辑度量空间([F(S)],ρ)中存在等边多边形,直角三角形等特殊图形。其次证明了不存在边长大于或等于2/3的等边三角形,但存在边长可任意接近2/3的等边三角形。同时证明了Lindenbaum代数上的反射变换φ*和平移变换ηG保持等边三角形、直角三角形的边角关系不变。最后证明了在经典逻辑度量空间中三逻辑公式构成的三角形中,内角的余弦在[0,1]中稠密,即,它们的内角在[0,π
其他文献
以秦岭翠华山景区为例,通过游客随机抽样问卷调查,获取感知信息;构建游客暴雨灾害风险感知模型,定量评价游客暴雨灾害风险感知能力;最后分析游客个体特征对暴雨灾害风险感知
初识北京华巍中兴电气有限公司总经理魏巍先生,是在一则北京某工业园区的新闻报道上,魏总作为该工业园引进的高端人才的典型代表被重点提及。第十六届北京·埃森展时,魏总来
北京·埃森焊接与切割展览会由中国机械工程学会及其焊接分会、中国焊接协会、中国电器工业协会电焊机分会、德国焊接学会和德国埃森展览公司共同主办,自1987年首次举办至
利用热重分析仪与气相色谱/质谱联用仪(TG-GC/MS)对木质素进行了动态升温热裂解研究。利用傅里叶变换红外光谱仪分析木质素微观结构,得到不同升温速率下的热重曲线,研究表明,木
2014年中国野生动植物保护十件大事评选结果于近日揭晓,西北大学生命科学学院金丝猴研究团队2014年10月在Nature communications》上发表的研究成果入选其中,该评选结果由国家
中国石油天然气管道局下属的管道科学研究院充分利用国内外优势资源,逐步缩小与世界先进技术水平的差距,与美国CRES公司合作的科研课题"X80焊接变量",顺利通过国际管道研究协会
中国质量认证中心(CQC)于2014年5月16日公布了《关于电弧焊机、送丝装置和焊炬(枪)产品强制性认证执行新版标准有关要求的公告》:
近日,从国家科技部传来喜讯,西北大学“陕西省光电技术与功能材料重点实验室”等全国25个实验室被评为“优秀省部共建国家重点实验室培育基地”。目前,全国有100多个省部共建国
金秋时节,在我国重要而美丽的港口城市大连,迎来了一年一度的中国焊接博览会和中国国际电工电器装备博览会。