Výsledky vyhľadávania

Nájdených záznamov: 29  
Vaša požiadavka: Kľúčové slovo = "dualita"
  1. NázovExpanding Belnap 2: the dual category in depth
    Aut.údajeAndrew P. K. Craig, Brian A. Davey, Miroslav Haviar
    Autor Craig Andrew, P. K. (34%)
    Spoluautori Davey Brian A. (33%)
    Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
    Zdroj.dok. Categories and General Algebraic Structures with Applications. Vol. 17, no 1 (2022), pp. 47-83. - Teherán : Shahid Beheshti University, 2022
    Kľúč.slová bizväzy - bilattices   prirodzená dualita   Priestleyovská dualita  
    Form.deskr.články - journal articles
    Jazyk dok.angličtina
    KrajinaIrán
    AnotáciaBizväzy poskytujú algebraický nástroj na simultánne modelovanie pravdivosti a informácie. Boli zavedené N. Belnapom v r. 1977 v článku nazvanom Ako by mal počítač myslieť. Okrem klasických pravdivostných hodnôt t (pravda) a f (nepravda) mal Belnapov príklad aj pravdivostné hodnoty ⅂ (priveľa informácií resp. rozporuplné informácie) a ⅃ (žiadna informácia). Majú aplikácie v umelej inteligencii, logickom programovaní alebo v rozpoznávaní obrazcov. V predchádzajúcej práci týchto autorov z r. 2021 publikovanej v Algebre Universalis sme zaviedli pre každé prirodzené číslo 𝑛 novú triedu bizväzov J𝑛, ktorá zahŕňa Belnapov seminálny príklad (ako bizväz J0). Skonštruovali sme tiež prirodzenú dualitu pre ekvacionálnu triedu V𝑛 algebier generovanú bizväzom J𝑛, kde duálna kategória X𝑛 pozostáva z tzv. multi-sortových topologických štruktúr. V súčasnej nadväzujúcej práci axiomatizujeme duálnu kategóriu X𝑛 a ukazujeme, že je izomorfná s kategóriou Y𝑛 jedno-sortových topologických štruktúr. Ukazujeme ako konštruovať Priestleyovej duál bizväzu v triede V𝑛 prostredníctvom duálu v triede Y𝑛. Ako aplikáciu ukazujeme, že jedno-generovaný voľný bizväz v triede V𝑛 má veľkosť danú konkrétnym polynómom stupňa 6.
    URL Link na plný text
    Kategória publikačnej činnosti ADM
    Číslo archívnej kópie52020
    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
    článok

    článok

  2. NázovDuálna koncentrácia a jej vplyv na športovú výkonnosť v karate
    Podnázovdizertačná práca
    Aut.údajeJán Pivovarník; školiteľ: Ľudmila Jančoková
    Autor Pivovarník Ján
    Ďalší autori Jančoková Ľudmila 1953- (Školiteľ (konzultant))
    Korp. Univerzita Mateja Bela . Filozofická fakulta . Katedra telesnej výchovy a športu , Banská Bystrica, Slovensko
    Vyd.údajeBanská Bystrica , 2016. - 136 s.
    Kľúč.slová dualita koncentrácie   karate   športová výkonnosť - sports performance - efficiency in sports  
    Jazyk dok.slovenčina
    KrajinaSlovenská republika
    Systematika 796.853.26
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxk - Kvalifikačné práce
    Počet ex.1, z toho voľných 0, prezenčne 1
  3. NázovPiggyback dualities revisited
    Aut.údajeDavey B. A., Haviar M., Priestley H. A.
    Autor Davey Brian A. (34%)
    Spoluautori Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
    Priestley Hilary A. (33%)
    Zdroj.dok. Algebra Universalis. Vol. 76, no. 2 (2016), pp. 245-285. - Cham : Springer Nature Switzerland AG, 2016
    Kľúč.slová duality   duality theory   Priestley duality   Priestleyovská dualita  
    Jazyk dok.angličtina
    KrajinaŠvajčiarsko
    Systematika 51
    Kategória publikačnej činnosti ADC
    Číslo archívnej kópie37066
    Kategória ohlasu CABRER, Leonardo M. - SPADA, Luca. MV-algebras, infinite dimensional polyhedra, and natural dualities. In Archive for mathematical logic. ISSN 0933-5846, 2017, vol. 56, no. 1-2, pp. 21-42.
    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
    článok

    článok

  4. 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ý

  5. NázovBezhanishvili, Guram; Jansana, Ramon: Priestley style duality for distributive meet-semilattices
    Súbež.n.Dualita priestleyovského štýlu pre distributévne priesekové polozväzy
    Aut.údajeMiroslav Haviar
    Autor Haviar Miroslav 1965- (100%) UMBFP10 - Katedra matematiky
    Zdroj.dok.MathSciNet : Mathematical Reviews on the web. online, MR2821271 (2012h:03161), pp. [1-2]. - Providence : American Mathematical Society, 2012
    Recenz.dok. Studia Logica : Springer, 2011
    Kľúč.slová algebra - algebra   polozväzy   Priestleyovská dualita   semilattices   Priestley duality  
    Jazyk dok.angličtina
    KrajinaSpojené štáty
    Systematika 512
    Kategória publikačnej činnosti EDI
    Číslo archívnej kópie25030
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxpca - PUBLIKAČNÁ ČINNOSŤ
    článok

    článok

  6. NázovNatural dualities in partnership
    Aut.údajeBrian A. Davey, Miroslav Haviar, Hilary A. Priestley
    Autor Davey Brian A. (34%)
    Spoluautori Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
    Priestley Hilary A. (33%)
    Zdroj.dok. Applied Categorical Structures. Vol. 20, no. 6 (2012), pp. 583-602. - Dordrecht : Springer, 2012
    Kľúč.slová prirodzená dualita   prirodzené rozšírenie   kanonické rozšírenia   natural duality   natural extension   canonical extension  
    Jazyk dok.angličtina
    KrajinaHolandsko
    Systematika 512
    Kategória publikačnej činnosti ADE
    Číslo archívnej kópie23307
    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
    článok

    článok

  7. NázovChoban, Mitrofan M.; Ursul, Mihail I.: Applications of the Stone duality in the theory of precompact Boolean rings
    Súbež.n.Aplikácie Stonevej duality v teórii prekompaktných booleovských okruhov
    Aut.údajeMiroslav Haviar
    Autor Haviar Miroslav 1965- (100%) UMBFP10 - Katedra matematiky
    Zdroj.dok.MathSciNet : Mathematical Reviews on the web. online, MR 2664667 (2011j:06026), pp. [1]. - Providence : American Mathematical Society, 2011
    Recenz.dok.Applications of the Stone duality in the theory of precompact Boolean rings / Mitrofan M. Choban, Mihail I. Ursul. - Basel : Birkhäuser/Springer Basel, 2010
    Kľúč.slová Stoneova dualita   booleovské funkcie   Stone duality   Boolean rings  
    Jazyk dok.angličtina
    KrajinaSpojené štáty
    Systematika 51
    Kategória publikačnej činnosti EDI
    Číslo archívnej kópie23463
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxpca - PUBLIKAČNÁ ČINNOSŤ
    článok

    článok

  8. NázovModified Priestley dualities as natural dualities
    Súbež.n.Modifikované Priestlyovej duality ako prirodzené duality
    Aut.údajeBrian A. Davey, Miroslav Haviar
    Autor Davey Brian A. (50%)
    Spoluautori Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
    Zdroj.dok. Lattice Theory: Foundation. S. 434-437. - Basel : Springer, 2011 / Grätzer George 1936-
    Kľúč.slová prirodzená dualita   Priestleyovská dualita   natural duality   Priestley duality  
    Jazyk dok.angličtina
    KrajinaŠvajčiarsko
    Systematika 512
    Kategória publikačnej činnosti AEC
    Číslo archívnej kópie19974
    Katal.org.BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici
    Báza dátxpca - PUBLIKAČNÁ ČINNOSŤ
    článok

    článok

  9. NázovNatural extensions and profinite completions of algebras
    Aut.údajeB. A. Davey ... [et al.]
    Autor Davey Brian A. (25%)
    Spoluautori Gouveia M. J. (25%)
    Haviar Miroslav 1965- (25%) UMBFP10 - Katedra matematiky
    Priestley Hilary A. (25%)
    Zdroj.dok. Algebra Universalis. Vol. 66, no. 3 (2011), pp. 205-241. - Cham : Springer Nature Switzerland AG, 2011
    Kľúč.slová prirodzené rozšírenie   prirodzená dualita   kanonické rozšírenia   profinite completion   natural extension   natural duality   canonical extension  
    Jazyk dok.angličtina
    KrajinaŠvajčiarsko
    Systematika 51
    AnotáciaThe paper investigates profinite completions of residually finite algebras, drawing on ideas from the theory of natural dualities. Given a class A = ISP(M), where M is a set, not necessarily finite, of finite algebras, it is shown that each algebra in the class A embeds as a topologically dense subalgebra of its natural extension, and that this natural extension is isomorphic, topologically and algebraically, to the profinite completion of the original algebra. In addition it is shown how the natural extension may be concretely described as a certain family of relation-preserving maps; in the special case that M is finite and the class A possesses a single-sorted or multisorted natural duality, the relations to be preserved can be taken to be those belonging to a dualising set. For an algebra belonging to a finitely generated variety of lattice-based algebras, it is known that the profinite completion coincides with the canonical extension. In this situation the natural extension provides a new concrete realisation of the canonical extension, generalising the well-known representation of the canonical extension of a bounded distributive lattice as the lattice of up-sets of the underlying ordered set of its Priestley dual. The paper concludes with a survey of classes of algebras to which the main theorems do, and do not, apply
    Kategória publikačnej činnosti ADE
    Číslo archívnej kópie20292
    Kategória ohlasuVOSMAER, Jacob. Logic, algebra and topology : investigations into canonical extensions, duality theory and point-free topology. Amsterdam : Institute for Logic, Language and Computation, 2010. 255 s. ISBN 978-90-5776-214-7.
    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ý

  10. NázovMultisorted dualisability: change of base
    Aut.údajeBrian A. Davey ... [et al.]
    Autor Davey Brian A. (25%)
    Spoluautori Gouveia M. J. (25%)
    Haviar Miroslav 1965- (25%) UMBFP10 - Katedra matematiky
    Priestley Hilary A. (25%)
    Zdroj.dok. Algebra Universalis. Vol. 66, no. 4 (2011), pp. 331-336. - Cham : Springer Nature Switzerland AG, 2011
    Kľúč.slová prirodzená dualita   dualizovateľnosť   natural duality   dualisability  
    Jazyk dok.angličtina
    KrajinaŠvajčiarsko
    Systematika 512
    AnotáciaIt is proved that if a quasivariety A generated by a finite family M of finite algebras has a multisorted duality based on M, then A has a multisorted duality based on any finite family of finite algebras that generates it
    Kategória publikačnej činnosti ADE
    Číslo archívnej kópie21511
    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ý


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