位置：成果数据库 > 期刊 > 期刊详情页
P中与归纳等价的几个条件
  • ISSN号：1674-2389
  • 期刊名称：《黔南民族师范学院学报》
  • 时间：0
  • 分类：O14[理学—数学;理学—基础数学]
  • 作者机构：黔南民族师范学院,数学系,贵州,都匀,558000, 广西师范大学,数学科学学院,广西,桂林,541004 广西师范大学,数学科学学院,广西,桂林,541004, 桂林电子科技大学,计算科学与数学系,广西,桂林,541004 黔南民族师范学院,数学系,贵州,都匀,558000 广西师范大学,数学科学学院,广西,桂林,541004
  • 相关基金：国家自然科学基金(NO.60573010)、广西自然科学基金(NO.0447032),黔南师院科研项目.
作者： 余泉, 甘晓丽, 周锦程, 王驹
关键词： 偏序集, 极小条件, 降链条件, 归纳条件, 合式公式
中文摘要：

本文先给出命题逻辑P的所有合式公式组成的集合W上的一个偏序关系,从而得到一个偏序集,然后在这个偏序集上讨论了与P中关于合式公式结构的归纳法等价的几个方法.

同期刊论文项目
程序及代数结构的逻辑性质
期刊论文 55 会议论文 1
同项目期刊论文
谓词模态逻辑到对应物理论的翻译
描述逻辑εLU概念及术语公理集的表达能力刻画
描述逻辑εLN循环术语集的不动点语义及推理
独立于设计者的行动推理
描述逻辑εL混合循环术语集的LCS和MSC推理
模糊描述逻辑L-ALCN
带RVM的描述逻辑(L混合循环术语集的语义及推理
多主体系统中的模糊匹配
Reasoning with rough description logics: An approximate concepts approach
Reasoning within expressive fuzzy rough description logics
循环的ALCN-Tbox具有模型的条件
描述逻辑(L混合循环术语集的LCS和MSC推理
带传递关系和存在量词的描述逻辑MSC推理
基于描述逻辑的模糊ER模型
描述逻辑FL(循环术语集的语义及推理
描述逻辑(LN循环术语集的不动点语义及推理
描述逻辑(ALCQO的语义及推理
带n-元存在量词的描述逻辑MSC推理
一种分布式动态描述逻辑
Satisfiability and reasoning mechanism of terminological cycles in description logic vL
描述逻辑(L循环术语集的混合推理
一种模糊动态描述逻辑
描述逻辑系统vL循环术语集的可满足性及推理机制
DDS 并行模型及其形式化
P2P环境下基于描述逻辑的信息集成
描述逻辑μALCIO的语义及推理
带RVM的描述逻辑εL混合循环术语集的语义及推理
面向语义Web的描述逻辑
描述逻辑εL循环术语集的混合推理
基于描述逻辑的带属性依赖时序ER模型
模糊描述逻辑FALNUI的tableaux推理
面向语义Web语义表示的模糊描述逻辑
基于描述逻辑的CIM模型
循环ALCN—Tbox具有模型的条件
描述逻辑FL-循环术语集的语义及推理
DDS并行模型及其形式化
基于信息分存的整数小波大容量数据隐藏方法
基于服务提供方与请求方的语义Web服务选取研究
网络语言实验室的教学模式的研究与设计
基于句型模板的智能问答系统
期刊信息
  • 《黔南民族师范学院学报》
  • 主管单位:黔南民族师范学院
  • 主办单位:黔南民族师范学院
  • 主编：韦煜
  • 地址：贵州省都匀市龙山大道
  • 邮编：558000
  • 邮箱：qnsyxb99@sohu.com
  • 电话：0854-8737044 8737062
  • 国际标准刊号：ISSN：1674-2389
  • 国内统一刊号：ISSN：52-1133/Z
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:2450