Categorical consequence for paraconsistent logic

被引：0
|
作者：
Johnson, F [1 ]
Woodruff, PW [1 ]
机构：
[1] Colorado State Univ, Ft Collins, CO 80523 USA
来源：
PARACONSISTENCY: THE LOGICAL WAY TO THE INCONSISTENT | 2002年 / 228卷
关键词：
D O I：
暂无
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Consequence relations over sets of "judgments" are defined by using "overdetermined" as well as "underdetermined" valuations. Some of these relations are shown to be categorical. And generalized soundness and completeness results are given for both multiple and single conclusion categorical consequence relations.
引用
收藏
页码：141 / 150
页数：10
相关论文
共 50 条
12345