Počet záznamov: 1  

A fresh perspective on canonical extensions for bounded lattices

  1. NázovA fresh perspective on canonical extensions for bounded lattices
    Súbež.n.Nová perspektíva ohľadne kanonických rozšírení ohraničených zväzov
    Aut.údajeA. P. K. Craig, M. Haviar, H. A. Priestley
    Autor Craig Andrew, P. K. (34%)
    Spoluautori Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
    Priestley Hilary A. (33%)
    Zdroj.dok. Applied Categorical Structures. Vol. 21, no. 6 (2013), pp. 725-749. - Dordrecht : Springer, 2013
    Kľúč.slová kanonické rozšírenia   prirodzená dualita   topologická reprezentácia   canonical extension   natural duality   topological representation  
    Jazyk dok.angličtina
    KrajinaHolandsko
    Systematika 544.022
    AnotáciaKanonické rozšírenia algebier majú pôvod v klasických prácach B. Jónssona a A. Tarského (1951-52) o Booleových algebrách s operátormi. Z pohľadu logiky je význam kanonických rozšírení v tom, že pre mnohé logiky hrajú fundamentálnu úlohu vo vetách o úplnosti – kanonicita (znamenajúca, že algebraické identity sú zachované pri konštrukcii kanonických rozšírení) algebraických modelov logík korešponduje s úplnosťou logík. Prezentovaná je nová konštrukcia kanonických rozšírení ohraničených zväzov, ktorá je v duchu teórie prirodzených dualít. Na úrovni objektov je kanonické rozšírenie zväzu získané podobne ako v distributívnom prípade, kde sa používa Priestleyovej reprezentácia (1970). V nedistributívnom prípade je využitá topologická reprezentácia zväzov od Miroslava Ploščicu (1995), ktorá je prezentáciou klasickej Urquhartovej reprezentácie zväzov (1978) v duchu prirodzených dualít. Na úrovni morfizmov je využitá dualita Allweina a Hartonasa (1993)
    Kategória publikačnej činnosti ADM
    Číslo archívnej kópie27747
    Kategória ohlasu HARTONAS, Chrysafis. Order-dual relational semantics for non-distributive propositional logics : a general framework. In Journal of philosophical logic. ISSN 0022-3611, 2018, vol. 47, no. 1, pp. 67-94.
    HARTONAS, Chrysafis. Order-dual relational semantics for non-distributive propositional logics. In Logic journal of the IGPL. ISSN 1367-0751, 2017, vol. 25, no. 2, pp. 145-182.
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxpca - PUBLIKAČNÁ ČINNOSŤ
    OdkazyPERIODIKÁ-Súborný záznam periodika
    nerozpoznaný

    nerozpoznaný

Počet záznamov: 1  

  Tieto stránky využívajú súbory cookies, ktoré uľahčujú ich prezeranie. Ďalšie informácie o tom ako používame cookies.