Number of the records: 1  

Generalized Disjunctions in (Infinitary) Structural Consequence Relations

    1.
    SYSNO ASEP0393068
    Document TypeA - Abstract
    R&D Document TypeThe record was not marked in the RIV
    R&D Document TypeNení vybrán druh dokumentu
    TitleGeneralized Disjunctions in (Infinitary) Structural Consequence Relations
    Author(s) Cintula, Petr (UIVT-O) RID, ORCID, SAI
    Noguera, C. (ES)
    Source TitleBulletin of Symbolic Logic. - : Cambridge University Press - ISSN 1079-8986
    Roč. 18, č. 3 (2012), s. 442-443
    ActionLogic Colloquium 2011
    Event date11.07.2011-16.07.2011
    VEvent locationBarcelona
    CountryES - Spain
    Event typeWRD
    Languageeng - English
    CountryUS - United States
    KeywordsAbstract Algebraic Logic ; Generalized disjunction ; Proof by cases properties ; Consequence relations
    Subject RIVBA - General Mathematics
    R&D Projects1M0545 GA MŠMT - Ministry of Education, Youth and Sports (MEYS)
    CEZAV0Z10300504 - UIVT-O (2005-2011)
    WorkplaceInstitute of Computer Science
    ContactTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Year of Publishing2014
Number of the records: 1  

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

Accept allSettingsReject all