Počet záznamů: 1  

Implicational (semilinear) logics III: completeness properties

  1. 1.
    SYSNO ASEP0477040
    Druh ASEPJ - Článek v odborném periodiku
    Zařazení RIVJ - Článek v odborném periodiku
    Poddruh JČlánek ve WOS
    NázevImplicational (semilinear) logics III: completeness properties
    Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
    Noguera, Carles (UTIA-B) RID, ORCID
    Zdroj.dok.Archive for Mathematical Logic - ISSN 0933-5846
    Roč. 57, 3-4 (2018), s. 391-420
    Poč.str.30 s.
    Jazyk dok.eng - angličtina
    Země vyd.DE - Německo
    Klíč. slovaabstract algebraic logic ; protoalgebraic logics ; implicational logics ; disjunctional logics ; semilinear logics ; non-classical logics ; completeness theorems ; rational completeness
    Vědní obor RIVBA - Obecná matematika
    Obor OECDPure mathematics
    Vědní obor RIV – spolupráceÚstav teorie informace a automatizace - Obecná matematika
    CEPGA13-14654S GA ČR - Grantová agentura ČR
    Institucionální podporaUIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556
    UT WOS000428317500011
    EID SCOPUS85026497280
    DOI10.1007/s00153-017-0577-0
    AnotaceThis paper presents an abstract study of completeness properties of non-classical logics with respect to matricial semantics. Given a class of reduced matrix models we define three completeness properties of increasing strength and characterize them in several useful ways. Some of these characterizations hold in absolute generality and others are for logics with generalized implication or disjunction connectives, as considered in the previous papers. Finally, we consider completeness with respect to matrices with a linear dense order and characterize it in terms of an extension property and a syntactical metarule. This is the final part of the investigation started and developed in the papers (Cintula and Noguera in Arch Math Logic 49(4):417–446, 2010 and Arch Math Logic 53(3):353–372, 2016).
    PracovištěÚstav informatiky
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2019