LINDENBAUM代数

作品数：12被引量：58H指数：5
导出分析报告
相关领域：理学更多>>
相关作者：王国俊吴洪博胡明娣马巧云何颖俞更多>>
相关机构：陕西师范大学西安文理学院华东师范大学安康学院更多>>
相关期刊：《工程数学学报》《西北大学学报（自然科学版）》《云南师范大学学报（自然科学版）》《科学通报》更多>>
相关基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
￡~*-Lindenbaum代数中的滤子
《云南师范大学学报（自然科学版）》2011年第5期43-45,共3页马巧云 吴洪博 
国家自然科学基金资助项目(10871121);西安文理学院2008年中青年专业技术人员科研资助项目(kyc200819)
利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)∕～中的运算,在F(S)∕～中定义了滤子,讨论了滤子的性质,得到了F(S)∕～中的滤子都有形如的形式.
关键词：￡＊-Linden baum代数 О滤子 生成О滤子 素О滤子 极大О滤子 
Lukasiewicz三值逻辑度量空间中的反射变换
《云南师范大学学报（自然科学版）》2011年第4期50-53,共4页程红梅 王国俊 
国家自然科学基金资助项目(10771129)
在Lukasiewicz三值逻辑度量空间中定义了反射变换φ和(准)对称逻辑公式,探讨了反射变换φ的性质,证明了φ保持逻辑等价关系和(准)对称逻辑公式,且为同态变换.研究了φ在商代数——Lindenbaum代数上诱导的反射变换φ*的性质.证明了φ*是...
关键词：Lukasiewicz三值逻辑度量空间 反射变换 (准)对称逻辑公式 LINDENBAUM代数 不动点 
经典逻辑度量空间中的边角关系被引量：2
《西北大学学报（自然科学版）》2011年第2期205-209,共5页胡明娣 楼志刚 
国家自然科学基金资助项目(10771129);陕西师范大学研究生培养创新基金资助项目(2009CXB006)
目的研究逻辑度量空间的内蕴结构,讨论其中三角形的结构及相关性质。方法利用计量逻辑学理论中建立的距离函数进行计算。结果首先证明了在经典逻辑度量空间([F(S)],ρ)中存在等边多边形,直角三角形等特殊图形。其次证明了不存在边长大...
关键词：经典逻辑度量空间 等边三角形 LINDENBAUM代数 等距变换 内角 
￡~*-Lindenbaum代数中的商理想
《云南师范大学学报（自然科学版）》2010年第2期9-10,20,共3页马巧云 吴洪博 
国家自然科学基金资助项目(10871121);西安文理学院2008年中青年专业技术人员科研资助项目(kyc200819)
利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)/～中的运算,在F(S)/～中定义了商理想,讨论了商理想的性质,得到了F(S)/～中的商理想都有形如<┐D(Γ)>的形式.
关键词：￡^＊-Lindenbaum代数 商理想 生成 商理想 素 商理想 极大 商理想 
经典逻辑度量空间上的反射变换被引量：13
《陕西师范大学学报（自然科学版）》2009年第6期1-4,共4页胡明娣 王国俊 
国家自然科学基金资助项目(10771129);陕西师范大学研究生培养创新基金资助项目(2009CXB006)
探讨了逻辑度量空间的结构,证明了在经典逻辑度量空间上存在一种反射变换φ,且φ保持逻辑等价关系不变,并且是同态映射;φ自然导出Lindenbaum代数上的一个反射变换φ*,φ*是Lindenbaum代数上的自同构变换,并且是等距变换.研究了φ*的不...
关键词：经典逻辑 LINDENBAUM代数 逻辑度量空间 反射变换 自同构 不动点 Gdeln值逻辑度量空间 
L^＊-Lindenbaum代数中的滤子
《西南民族大学学报（自然科学版）》2006年第1期36-39,共4页马晓珏 任燕 
利用格论中滤子的相关知识,对公式集D(Г)的性质进行研究。通过对D(Г)和R0代数中MP滤子相似性的比较分析,证明了L*-L indenbaum代数[F]中的MP滤子都是形如D(Г)形式的,其中D(Г)={[A]|Г├A,A∈F(S)};又进一步证明了[F]中的极大滤子(...
关键词：L^＊-Lindenbaum代数 滤子 MP滤子 极大滤子 
伪度量L＊-Lindenbaum代数中基本运算的连续性被引量：8
《陕西师范大学学报（自然科学版）》2005年第2期1-4,共4页王伟 王国俊 
国家自然科学基金重点资助项目(10331010)
研究了伪度量L Lindenbaum代数中基本运算的连续性.结果表明,Fuzzy命题演算系统L 中的全体公式集上的伪度量可以在L Lindenbaum代数M上诱导出一个伪度量ρ,证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的.这为在(M,ρ)上建...
关键词：系统L＊ L＊-Lindenbaum代数 伪度量 连续性 
非全序R_0代数的存在性及其构造被引量：9
《陕西师范大学学报（自然科学版）》2004年第1期25-28,共4页韩诚 许文艳 吴恒洋 
通过考察非全序R0代数的序结构,给出了中点的定义,并利用中点给出R0代数的一个分划,同时证明了五元和七元非全序R0代数不存在,以及n元(n>7)非全序R0代数的存在性,并推广到无限元的情形,得到了构造可去(加)中点的非全序R0代数的两种方法.
关键词：非全序R0代数 序结构 中点 L-Lindenbaum代数 模糊逻辑 命题演算 
一阶逻辑完备性定理的代数证明被引量：1
《陕西师范大学学报（自然科学版）》2002年第4期7-11,共5页王国俊 
国家自然科学基金重点资助项目(19831040)
在一阶逻辑中回避了通常使用的相容扩张方法,基于商Lindenbaum代数并引入一阶语言的一种γ 解释,证明了一阶逻辑的完备性定理.
关键词：代数证明 一阶逻辑 LINDENBAUM代数 γ-解释 完备性定理 相容扩张 数理逻辑 
L_0^*-Lindenbaum代数的结构与性质被引量：3
《四川大学学报（自然科学版）》2001年第3期323-327,共5页吴洪博 
讨论了L 系统的等价简化形式系统L 0 系统中Lindenbaum代数的结构与性质 .证明了 :(1)L 0 Linden baum代数是一个有界分配格 ;(2 )在L 0 系统中 ,(F(S) /≈ , )是一个含零元和单位元的Abel半群 ,这里对A ,B∈F(S) ,[A] [B]= ([A]→ [B...
关键词：模糊逻辑 形式演统系统 L 简化形式演绎系统 L0 L0-Londenbaum代数 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部