.png){kind=icon}
返回
.png){kind=icon}
.png){kind=icon}
.png){kind=icon}
摘要
En 中文
麦考尔的4值逻辑CC1是最早且最具影响力的关联逻辑系统之一。CC1因缺乏直观的真值解释而受到批评。本文提出，该逻辑中一个句子的语义值表示为一个有序对，由一个经典真值（真或假）和一个内容极性（正或负）组成。特别地，关联蕴涵的真值既是其前件和后件真值的函数，也是其内容极性的函数。我们发展了这个非正式想法，形成了一种形式语义，并证明了一个关于通过某种布尔代数构造得到的代数模型类的完备性定理。
Keyword:
Connexive logic
relevant logic
entailment
Storrs McCall
hyperintensional semantics
期刊
H
IF:
0.7
论文数:
21
被引数:
0
机构
引用论文
.png){kind=icon}
.png){kind=icon}
分享.png){kind=icon}
收藏分享收藏分享收藏分享收藏分享收藏分享收藏
查看更多内容