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 
článok
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 článok
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Ť článok
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Ť článok
Názov Using coloured ordered sets to study finite-level full dualities Aut.údaje Brian A. Davey, Miroslav Haviar, Jane G. Pitkethly Autor Davey Brian A. (34%)
Spoluautori Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Pitkethly Jane G. (33%)
Zdroj.dok. Algebra Universalis. Vol. 64, no. 1-2 (2010), pp. 69-100. - Cham : Springer Nature Switzerland AG, 2010 Kľúč.slová prirodzená dualita plná dualita Priestleyovská dualita natural duality full duality Priestley duality Jazyk dok. angličtina Krajina Švajčiarsko Systematika 512 Kategória publikačnej činnosti ADE Číslo archívnej kópie 18161 Kategória ohlasu GRÄTZER, George. Lattice theory : foundation. Basel : Birkhäuser Verlag AG, 2011. 613 p. ISBN 978-3-0348-0017-4.
DAVEY, Brian A. - PITKETHLY, Jane G. - WILLARD, Ross. The lattice of alter egos. In International journal of algebra and computation. ISSN 0218-1967, 2012, vol. 22, no. 1.
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 článok
Názov Boolean topological distributive lattices and canonical extensions Aut.údaje B. A. Davey, Miroslav Haviar, H. A. Priestley Autor Davey Brian A. (34%)
Spoluautori Haviar Miroslav 1965- (33%) UMBUV01 - Ústav vedy a výskumu
Priestley Hilary A. (33%)
Zdroj.dok. Applied Categorical Structures. Vol. 15, no. 3 (2007), pp. 225-241. - Dordrecht : Springer, 2007 Kľúč.slová topologický zväz Priestleyovská dualita kanonické rozšírenia prokonečné rozšírenie topological lattice Priestley duality canonical extension profinite completion Jazyk dok. angličtina Krajina Holandsko Systematika 515.1 Kategória publikačnej činnosti ADE Číslo archívnej kópie 6651 Kategória ohlasu JOHANSEN, Sarah M. Natural dualities for three classes of relational structures. In Algebra Universalis. ISSN 0002-5240, 2010, vol. 63, no. 2-3, pp. 149-170.
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.
RICE, Brian. Intervals of the Muchnik lattice. In Fundamenta mathematicae. ISSN 0016-2736, 2018, vol. 241, no. 2, pp. 109-126.
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 článok