Number of the records: 1  

A fresh perspective on canonical extensions for bounded lattices

  1. TitleA fresh perspective on canonical extensions for bounded lattices
    Par.titleNová perspektíva ohľadne kanonických rozšírení ohraničených zväzov
    Author infoA. P. K. Craig, M. Haviar, H. A. Priestley
    Author Craig Andrew, P. K. (34%)
    Co-authors Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
    Priestley Hilary A. (33%)
    Source document Applied Categorical Structures. Vol. 21, no. 6 (2013), pp. 725-749. - Dordrecht : Springer, 2013
    Keywords kanonické rozšírenia   prirodzená dualita   topologická reprezentácia   canonical extension   natural duality   topological representation  
    LanguageEnglish
    CountryNetherlands
    systematics 544.022
    AnnotationKanonické 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)
    Public work category ADM
    No. of Archival Copy27747
    Repercussion category 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.
    Catal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Databasexpca - PUBLIKAČNÁ ČINNOSŤ
    ReferencesPERIODIKÁ-Súborný záznam periodika
    unrecognised

    unrecognised

Number of the records: 1  

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