许文艳
- 作品数：6 被引量：15H指数：2
- 供职机构：陕西师范大学更多>>
- 相关领域：理学更多>>
- 非全序R_0代数的存在性及其构造被引量：11
- 2004年
- 通过考察非全序R0代数的序结构,给出了中点的定义,并利用中点给出R0代数的一个分划,同时证明了五元和七元非全序R0代数不存在,以及n元(n>7)非全序R0代数的存在性,并推广到无限元的情形,得到了构造可去(加)中点的非全序R0代数的两种方法.
- 韩诚许文艳吴恒洋
- 关键词：序结构模糊逻辑命题演算
- 任务逻辑
- 该文的主要内容如下:第一部分:在经典命题逻辑语言中引入附加算子∏,把公式理解为"任务",给出了"任务逻辑"的语义理论.第二部分:以经典命题逻辑的所有定理为公理,以A-规则和R-规则(具体定义见正文)为两条基本推理规则,建...
- 许文艳
- 关键词：可判定性
- 文献传递网络资源链接
- 任务逻辑
- 自线性逻辑的概念诞生以来，关于线性逻辑及其子结构逻辑的研究已经引起了广泛关注。线性逻辑最初形成时源于把公式看成“资源”，因而从语义上讲又被称为“资源逻辑”。然而这种“资源”语义一直以来都没有形成严格的形式化体系。 ...
- 许文艳
- 关键词：可判定性
- 从事实逻辑到任务逻辑被引量：2
- 2004年
- 在经典命题逻辑语言中引入附加算子冂,较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为"任务",介绍了"任务逻辑"的语义理论,并从语构上定义形式系统L与之对应,证明该系统的可靠性、完备性及可判定性定理,最后建立系统L中的一系列基本定理。
- 王国俊许文艳
- 关键词：可靠性可判定性命题逻辑
- R_0代数中的真布尔元被引量：4
- 2003年
- 通过研究R0代数中一类特殊的元——真布尔元的性质,给出了一些特别的R0等式,并据此得到了真布尔元对R0代数分类的充要条件,为格上研究R0代数开辟了一个新的方向。
- 许文艳韩诚
- 关键词：R0代数
- 任务逻辑
- 该文的主要内容如下:第一部分:在经典命题逻辑语言中引入附加算子∏,把公式理解为"任务",给出了"任务逻辑"的语义理论.第二部分:以经典命题逻辑的所有定理为公理,以A-规则和R-规则(具体定义见正文)为两条基本推理规则,建...
- 许文艳
- 关键词：可判定性
