您的位置： 专家智库 > >

李广元

作品数：7 被引量：11H指数：3
供职机构：贵州大学更多>>
发文基金：国家自然科学基金“九五”国家科技攻关计划更多>>
相关领域：理学自动化与计算机技术更多>>

合作作者

文献类型

  • 5篇期刊文章
  • 1篇学位论文
  • 1篇科技成果

领域

  • 6篇理学
  • 1篇自动化与计算...

主题

  • 3篇中介
  • 3篇逻辑
  • 2篇中介逻辑
  • 2篇三值逻辑
  • 2篇逻辑与
  • 1篇等词
  • 1篇递归论
  • 1篇定理
  • 1篇形式化
  • 1篇形式化表示
  • 1篇形式语义
  • 1篇英文
  • 1篇三值模型
  • 1篇时序逻辑
  • 1篇时序逻辑语言
  • 1篇数理逻辑
  • 1篇特征定理
  • 1篇谓词逻辑
  • 1篇逻辑语言
  • 1篇命题逻辑

机构

  • 7篇贵州大学
  • 1篇陕西师范大学
  • 1篇中国科学院软...

作者

  • 7篇李广元
  • 5篇李祥
  • 1篇李广元
  • 1篇唐稚松

传媒

  • 3篇贵州大学学报...
  • 1篇科学通报
  • 1篇软件学报

年份

  • 1篇2005
  • 1篇2003
  • 1篇2000
  • 3篇1989
  • 1篇1988
共 7 条 记 录，以下是 1-7
全选 清除 导出
排序方式：
逻辑与计算复杂性
李祥李广元
该课题完成论文十篇并在中国科学通报、计算机学报、数学学报以及美国、英国、澳大利亚、荷兰等正式发表，主要成果有四个方面：①在递归拓扑空间方面，系统研究了能行豪斯道夫空间的递归论性质，提出了空间中处处具有的递归性质的概念，获...
关键词：
关键词：递归论多值逻辑
一阶三值逻辑系统TL与三值模型论初步
李广元
“中介逻辑”与Woodruff三值逻辑系统被引量：5
1989年
在《“中介逻辑”的特征问题》一文里,我们对近来朱梧梗、肖奚安等同志发表的称为“中介逻辑”的命题系统MP的三个联接词(对立否定),～(模糊否定)与→(蕴含)建立了如下的三值真值表:
李祥李广元
关键词：中介逻辑三值逻辑
三值逻辑的Craig中插定理与Herbrand定理被引量：1
2003年
作者获得并证明三值命题逻辑MP与MP 、三值谓词逻辑MF与MF 以及带等词的三值谓词逻辑ME与ME 的Craig中插定理与Herbrand定理。
李祥李广元
关键词：三值逻辑数理逻辑
时序逻辑语言 XYZ/E中指针的形式化表示与验证(英文)被引量：3
2000年
指针是一种重要的数据类型 ,使用指针能使程序更加有效和优美 .可是指针却以不易驾御而闻名 ,至今在时序逻辑语言中未见到对它的形式化工作 .XYZ/E既是一个时序逻辑系统也是一个程序设计语言 ,它能表示普通高级语言中几乎所有的重要机制 .本文主要讨论在时序逻辑语言 XYZ/E中指针的形式化表示问题以及在结构化 XYZ/SE程序中指针的验证问题 .
李广元李广元
关键词：形式语义时序逻辑语言XYZ/E
“中介”谓词逻辑演算MF的特征问题被引量：7
1988年
本文通过引入三值结构获得并证明了“中介”逻辑系统 MF(MF~*)的可靠性与完全性定理。
李祥李广元
带等词的“中介”谓词逻辑演算ME的三值特征定理被引量：1
1989年
通过在三值结构中引入“三值相等关系”,获得并证明了带等词的“中介”谓词逻辑演算ME~*的三值特征定理:可靠性与完全性定理。
李广元李祥
关键词：等词
全选 清除 导出
共1页<1>
聚类工具0