李顺琴
- 作品数：29 被引量：35H指数：3
- 供职机构：延安大学数学与计算机科学学院更多>>
- 发文基金：国家自然科学基金陕西省科学技术研究发展计划项目陕西省自然科学基金更多>>
- 相关领域：理学文化科学自然科学总论更多>>
- 系统L_n中公式关于局部有限理论的Γ-真度被引量：1
- 2017年
- 在n值Lukasiewicz命题逻辑系统L_n中运用公式相对于局部有限理论的Γ-真度定义的等价形式,讨论了Γ-真度的部分重要性质,并给出了Γ-真度的推理规则。
- 李顺琴
- n值逻辑系统Ln^＊中矛盾度的等价定义及性质被引量：3
- 2015年
- 给出了n值R0-命题逻辑系统L*n中一个更为直观的矛盾度定义的等价形式,利用矛盾度定义的等价形式简化了矛盾度的一些重要性质的证明,并得到了矛盾度的对称性定理.
- 李顺琴惠小静
- 关键词：计量逻辑学等价形式
- 修正的RDP逻辑系统中的子代数理论
- 2015年
- 本文研究修正的RDP多值逻辑系统中的子代数理论,并讨论该系统子代数的若干重要性质,为修正的RDP系统的进一步研究奠定基础。
- 李顺琴惠小静
- 关键词：子代数多值逻辑
- 修正的Gdel逻辑系统中子代数的广义重言式理论被引量：15
- 2008年
- 将修正的Gdel逻辑系统中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在G的序稠密子代数中给出F(S)关于┐同余的一个分划.
- 李顺琴王国俊
- 关键词：广义重言式
- 系统H_α中的子代数的广义重言式理论
- 2010年
- 将多值逻辑系统H(α0≤α≤1)中的广义重言式理论进行推广,讨论其序稠密子代数的广义重言式理论,利用可达广义重言式概念在系统H1的序稠密子代数中给出F(S)的一个分划,并把系统H1中的相关结论推广到系统H(α0≤α≤1)中。
- 李顺琴王国俊
- 关键词：多值逻辑系统广义重言式子代数
- n值命题逻辑系统L_n~*中公式Γ-的绝对真度理论被引量：3
- 2017年
- 在n值R_0-命题逻辑系统L_n~*中,给出公式关于有限理论的一个更为直观的Γ-绝对真度概念,讨论它的一些重要性质和推理规则,并利用Γ-绝对真度定义公式间的Γ-绝对相似度和伪距离。
- 李顺琴王泽阳
- 关键词：伪距离
- LF相对乘积空间中投影序同态的一个性质定理
- 2005年
- 给出关于LF相对乘积空间中投影序同态的一个性质定理,从而推广了投影序同态的两个工具定理.
- 吴玉梅李顺琴
- 关键词：LF拓扑空间相对乘积空间
- 三值乘积逻辑系统中公式关于有限理论的Γ-绝对真度
- 2023年
- 借助逻辑公式所诱导出的函数,在系统π_(3)中给出了公式关于有限理论的Γ-绝对真度、Γ-绝对相似度和Γ-伪距离的定义,并探讨了Γ-绝对真度的MP规则、HS规则及相关性质。从而丰富了乘积逻辑系统中真度的研究成果。
- 李顺琴陈子涵
- 关键词：伪距离
- 修正的Kleene系统中的子代数的广义矛盾式
- 2007年
- 将修正的Kleene系统中的广义矛盾式理论进行推广,在R0代数[0,1]的各类无限子R0代数中的广义重言式的基础上讨论了广义矛盾式理论:(1)讨论了一般子R0代数的广义矛盾式;(2)根据聚点性态的不同将无限子R0代数作了分类,并在各类无限子R0代数中讨论了广义矛盾式,进而在相应的子R0代数中给出了公式集F(S)的一种划分;(3)证明了在子R0代数E2中,L*中存在着可数多个不同的广义矛盾式.
- 李顺琴王国俊
- 关键词：广义矛盾式
- 修正的Product逻辑系统中的广义矛盾式被引量：2
- 2008年
- 讨论了修正的Product逻辑系统中的广义矛盾式理论,证明了该系统中广义矛盾式的类类互异定理,并给出了修正的Product逻辑系统中的广义矛盾式之间的一种降级算法。
- 李顺琴王国俊
- 关键词：广义矛盾式
