Number of the records: 1  

The Proof by Cases Property and its Variants in Structural Consequence Relations

  1. 1.
    0395571 - ÚI 2014 RIV NL eng J - Journal Article
    Cintula, Petr - Noguera, Carles
    The Proof by Cases Property and its Variants in Structural Consequence Relations.
    Studia Logica. Roč. 101, č. 4 (2013), s. 713-747. ISSN 0039-3215. E-ISSN 1572-8730
    R&D Projects: GA MŠMT(CZ) 1M0545
    EU Projects: European Commission(XE) 247584 - MATOMUVI
    Institutional research plan: CEZ:AV0Z1030915
    Institutional support: RVO:67985556
    Keywords : Abstract Algebraic Logic * Generalized disjunction * Proof by cases properties * Consequence relations * Filter-distributive logics * Protoalgebraic logics
    Subject RIV: BA - General Mathematics
    Impact factor: 0.330, year: 2013

    This paper is a contribution to the study of the role of disjunction in Abstract Algebraic Logic. Several kinds of (generalized) disjunctions, usually defined using a suitable variant of the proof by cases property, were introduced and extensively studied in the literature mainly in the context of finitary logics. The goals of this paper are to extend these results to all logics, to systematize the multitude of notions of disjunction (both those already considered in the literature and those introduced in this paper), and to show several interesting applications allowed by the presence of a suitable disjunction in a given logic.
    Permanent Link: http://hdl.handle.net/11104/0223575

     
    FileDownloadSizeCommentaryVersionAccess
    0395571.pdf17749.6 KBAuthor´s preprintopen-access
     
Number of the records: 1  

  This site uses cookies to make them easier to browse. Learn more about how we use cookies.