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 条
  • [1] Paraconsistent Logic
    David Ripley
    Journal of Philosophical Logic, 2015, 44 : 771 - 780
  • [2] Paraconsistent Logic
    Ripley, David
    JOURNAL OF PHILOSOPHICAL LOGIC, 2015, 44 (06) : 771 - 780
  • [3] PARACONSISTENT LOGIC
    ALVES, EH
    JOURNAL OF SYMBOLIC LOGIC, 1978, 43 (02) : 358 - 358
  • [4] Logic and aggregation (Paraconsistent logic)
    Brown, B
    Schotch, P
    JOURNAL OF PHILOSOPHICAL LOGIC, 1999, 28 (03) : 265 - 287
  • [5] PARADOXES OF LOGIC AND PARACONSISTENT LOGIC
    GUNTHER, A
    ZEITSCHRIFT FUR SEMIOTIK, 1995, 17 (3-4): : 379 - 403
  • [6] Annotated Paraconsistent Logic
    Martins, Helga Gonzaga
    Valerio de Moraes, Carlos Henrique
    de Almeida Costa, Claudio Inacio
    Lambert-Torres, Germano
    Faria Neto, Antonio
    ADVANCES IN TECHNOLOGICAL APPLICATIONS OF LOGICAL AND INTELLIGENT SYSTEM, 2009, 186 : 85 - 113
  • [7] ON PARACONSISTENT DEONTIC LOGIC
    DACOSTA, NCA
    CARNIELLI, WA
    PHILOSOPHIA, 1986, 16 (3-4) : 293 - 305
  • [8] Paraconsistent logic programs
    Alcântara, J
    Damásio, CV
    Pereira, LM
    LOGICS IN ARTIFICIAL INTELLIGENCE 8TH, 2002, 2424 : 345 - 356
  • [9] PARACONSISTENT LOGIC PROGRAMMING
    BLAIR, HA
    SUBRAHMANIAN, VS
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 340 - 360
  • [10] Circumscription in a paraconsistent logic
    Ruan Jian Xue Bao, 5 (290):
12345