Výsledky vyhľadávania
Názov Expanding Belnap 2: the dual category in depth Aut.údaje Andrew 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 Krajina Irán Anotácia Bizvä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ópie 52020 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika Názov Duálna koncentrácia a jej vplyv na športovú výkonnosť v karate Podnázov dizertačná práca Aut.údaje Já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.údaje Banská Bystrica , 2016. - 136 s. Kľúč.slová dualita koncentrácie karate športová výkonnosť - sports performance - efficiency in sports Jazyk dok. slovenčina Krajina Slovenská republika Systematika 796.853.26 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xk - Kvalifikačné práce Počet ex. 1, z toho voľných 0, prezenčne 1 Názov Piggyback dualities revisited Aut.údaje Davey 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ópie 37066 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át xpca - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika Názov A 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.údaje A. 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 Krajina Holandsko Systematika 544.022 Anotácia Kanonické 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ópie 27747 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át xpca - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika Názov Bezhanishvili, 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.údaje Miroslav 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 Krajina Spojené štáty Systematika 512 Kategória publikačnej činnosti EDI Číslo archívnej kópie 25030 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Natural dualities in partnership Aut.údaje Brian 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 Krajina Holandsko Systematika 512 Kategória publikačnej činnosti ADE Číslo archívnej kópie 23307 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika Názov Choban, 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.údaje Miroslav 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 Krajina Spojené štáty Systematika 51 Kategória publikačnej činnosti EDI Číslo archívnej kópie 23463 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Modified Priestley dualities as natural dualities Súbež.n. Modifikované Priestlyovej duality ako prirodzené duality Aut.údaje Brian 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ópie 19974 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Natural extensions and profinite completions of algebras Aut.údaje B. 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ácia The 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ópie 20292 Kategória ohlasu VOSMAER, 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át xpca - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika Názov Multisorted dualisability: change of base Aut.údaje Brian 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ácia It 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ópie 21511 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika