Košík

  Odznačiť vybrané:   0

  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ý

      Z košíka

  2.  

    NázovGeografické informácie
    Súbež.n.Geographical information
    Vyd.údajeNitra : Univerzita Konštantína Filozofa v Nitre , 2011-
    ISSN1337-9453
    Jazyk dok.slovenčina, čeština, angličtina
    KrajinaSlovenská republika
    URLLink na zdrojový dokument
    Kategória publikačnej činnosti GII
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxszp - PERIODIKÁ - Súborný záznam periodika
    Odkazy (24) - PUBLIKAČNÁ ČINNOSŤ
    kniha

    kniha

      Z košíka

  3.  

    NázovPedagogická orientace
    Podnázovodborný čtvrtletník a zpravodaj ČPdS
    Vyd.údajeBrno : Česká pedagogická společnost , 2012
    ISSN1211-4669
    Roč., čísloRoč. 22 č. 2 (2012)
    Jazyk dok.čeština
    KrajinaČeská republika
    Báza dátxjcp - PERIODIKÁ - Prijaté čísla
    Odkazy - PERIODIKÁ - Súborný záznam periodika
    - PERIODIKÁ - Zviazaný ročník periodika
    (1) - PUBLIKAČNÁ ČINNOSŤ
    Obsah Komparácia profesijných činností slovenských, českých a poľských učiteľov na primárnom stupni školy / Simoneta Babiaková
    OdkazyPERIODIKÁ-Súborný záznam periodika
    ČLÁNKY2012:
    Komparácia profesijných činností slovenských, českých a poľských učiteľov na primárnom stupni školy
    časopis

    časopis

      Z košíka

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

Prijať všetkoNastavenieOdmietnuť všetko