MULTIPLE-CONCLUSION LP AND DEFAULT CLASSICALITY

被引:48
|
作者
Beall, J. C. [1 ,2 ]
机构
[1] Univ Connecticut, Dept Philosophy, Storrs, CT 06269 USA
[2] Univ Otago, Dept Philosophy, Dunedin, New Zealand
来源
REVIEW OF SYMBOLIC LOGIC | 2011年 / 4卷 / 02期
关键词
PARADOX; LOGIC;
D O I
10.1017/S1755020311000074
中图分类号
O29 [应用数学];
学科分类号
070104 ;
摘要
Philosophical applications of familiar paracomplete and paraconsistent logics often rely on an idea of 'default classicality'. With respect to the paraconsistent logic LP (the dual of Strong Kleene or K3), such 'default classicality' is standardly cashed out via an LP-based nonmonotonic logic due to Priest (1991, 2006a). In this paper, I offer an alternative approach via a monotonic multiple-conclusion version of LP.
引用
收藏
页码:326 / 336
页数:11
相关论文
共 50 条
  • [21] Melflufen in multiple myeloma: the conclusion matters reply
    Schjesvold, Fredrik H.
    Bakker, Nicolaas A.
    Sonneveld, Pieter
    [J]. LANCET HAEMATOLOGY, 2022, 9 (04): : E244 - E245
  • [22] On Lp multiple orthogonal polynomials
    Kroo, Andras
    [J]. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2013, 407 (01) : 147 - 156
  • [23] Multiple Lenders, Strategic Default, and Covenants
    Attar, Andrea
    Casamatta, Catherine
    Chassagnon, Arnold
    Decamps, Jean-Paul
    [J]. AMERICAN ECONOMIC JOURNAL-MICROECONOMICS, 2019, 11 (02) : 98 - 130
  • [24] An analysis of default correlations and multiple defaults
    Zhou, CS
    [J]. REVIEW OF FINANCIAL STUDIES, 2001, 14 (02): : 555 - 576
  • [25] Multiple Conclusion Rules in Logics with the Disjunction Property
    Citkin, Alex
    [J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 76 - 89
  • [26] MULTIPLE CONCLUSION LOGIC - SHOESMITH,DJ, SMILEY,TJ
    TENNANT, N
    [J]. PHILOSOPHICAL QUARTERLY, 1980, 30 (121): : 379 - 382
  • [27] Multiple summing operators on lp spaces
    Popa, Dumitru
    [J]. STUDIA MATHEMATICA, 2014, 225 (01) : 9 - 28
  • [28] Multiple conclusion linear logic: cut elimination and more
    Eades, Harley, III
    De Paiva, Valeria
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2020, 30 (01) : 157 - 174
  • [29] Multiple Conclusion Linear Logic: Cut Elimination and More
    Eades, Harley, III
    de Paiva, Valeria
    [J]. LOGICAL FOUNDATIONS OF COMPUTER SCIENCE (LFCS 2016), 2016, 9537 : 90 - 105