Počet záznamů: 1  

Completeness Properties in Protoalgebraic Logics

    1.
    SYSNO ASEP0461995
    Druh ASEPA - Abstrakt
    Zařazení RIVZáznam nebyl označen do RIV
    Zařazení RIVNení vybrán druh dokumentu
    NázevCompleteness Properties in Protoalgebraic Logics
    Tvůrce(i) Cintula, Petr (UIVT-O) RID, ORCID, SAI
    Noguera, Carles (UTIA-B) RID, ORCID
    Zdroj.dok.LATD 2016 Book of Abstracts. - Johannesburg : WITS University, 2016
    S. 56-58
    Poč.str.3 s.
    AkceLATD 2016. Logic, Algebra and Truth Degrees
    Datum konání28.06.2016-30.06.2016
    Místo konáníPhalaborwa
    ZeměZA - Jižní Afrika
    Typ akceWRD
    Jazyk dok.eng - angličtina
    Země vyd.ZA - Jižní Afrika
    Klíč. slovaabstract algebraic logic ; protoalgebraic logic ; completeness theorems ; logical matrices ; consequence relation
    Vědní obor RIVBA - Obecná matematika
    CEPGA13-14654S GA ČR - Grantová agentura ČR
    Institucionální podporaUIVT-O - RVO:67985807 ; UTIA-B - RVO:67985556
    PracovištěÚstav informatiky
    KontaktTereza Šírová, sirova@cs.cas.cz, Tel.: 266 053 800
    Rok sběru2017
Počet záznamů: 1  

  Tyto stránky využívají soubory cookies, které usnadňují jejich prohlížení. Další informace o tom jak používáme cookies.

Přijmout všeNastaveníOdmítnout vše