李顺琴
- 作品数：29 被引量：35H指数：3
- 供职机构：延安大学数学与计算机科学学院更多>>
- 发文基金：国家自然科学基金陕西省科学技术研究发展计划项目陕西省自然科学基金更多>>
- 相关领域：理学文化科学自然科学总论更多>>
- 三值乘积逻辑系统中公式关于有限理论的Σ_(Γ)-真度理论被引量：1
- 2022年
- 在三值乘积逻辑系统π;中,利用真度定义的均值表示形式给出了公式相对于有限理论Γ的Σ;-真度概念,并讨论了它的一些重要性质,丰富了真度理论的研究成果。
- 李顺琴
- n值Lukasiewicz命题逻辑系统中公式的矛盾度理论被引量：3
- 2015年
- 在n值Lukasiewicz命题逻辑系统中运用公式的矛盾度概念,讨论了公式矛盾度的部分重要性质,给出了Lukasiewicz命题逻辑系统中的矛盾度并推理规则,进而讨论了矛盾度与推理规则之间的关系.
- 李顺琴惠小静
- 关键词：计量逻辑学
- 系统L_n中公式关于局部有限理论的Γ-真度被引量：1
- 2017年
- 在n值Lukasiewicz命题逻辑系统L_n中运用公式相对于局部有限理论的Γ-真度定义的等价形式,讨论了Γ-真度的部分重要性质,并给出了Γ-真度的推理规则。
- 李顺琴
- 三值乘积逻辑系统中公式关于有限理论的Γ-绝对真度
- 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逻辑系统中的广义矛盾式之间的一种降级算法。
- 李顺琴王国俊
- 关键词：广义矛盾式
- 修正的RDP逻辑系统中子代数的广义重言式理论被引量：1
- 2015年
- 讨论了修正的RDP逻辑系统中序稠密子代数的广义重言式理论,并利用可达广义重言式概念和α-矛盾式概念在RDP的序稠密子代数中给出F（S）关于~同余的一个分划。
- 李顺琴惠小静
- 关键词：广义重言式子代数
- 高中数学教材中数学史内容的分析比较——以人教A版(2019版)和人教B版(2019版)为例
- 2023年
- 通过调查研究人教A版和人教B版高中数学系列教材中的数学史内容,分析数学史的主题特点、知识领域分布特点、运用方式特点,提出以下建议:高中数学教材中的数学史分布应该更加均匀,增加数学史内容的丰富性与多样性,进而增加数学史的趣味性与可读性;同时,数学史还应该与数学知识特点相结合,使得数学史与数学知识更加有机融合。
- 杜锦利李顺琴
- 关键词：高中数学数学史数学教育数学教材
- 修正的RDP逻辑系统中的广义重言式理论被引量：1
- 2015年
- 提出修正的RDP逻辑系统,并证明了此系统中的广义重言式有更加精细的区分。利用广义重言式概念得到公式集F(S)的一个分划,建立了修正的RDP逻辑系统中的各类广义语义MP规则与广义语义HS规则。
- 李顺琴惠小静
- 关键词：广义重言式
- n值逻辑系统Ln^＊中矛盾度的等价定义及性质被引量：3
- 2015年
- 给出了n值R0-命题逻辑系统L*n中一个更为直观的矛盾度定义的等价形式,利用矛盾度定义的等价形式简化了矛盾度的一些重要性质的证明,并得到了矛盾度的对称性定理.
- 李顺琴惠小静
- 关键词：计量逻辑学等价形式
