Search results
Title Expanding Belnap 2: the dual category in depth Author info Andrew P. K. Craig, Brian A. Davey, Miroslav Haviar Author Craig Andrew, P. K. (34%)
Co-authors Davey Brian A. (33%)
Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Source document Categories and General Algebraic Structures with Applications. Vol. 17, no 1 (2022), pp. 47-83. - Teherán : Shahid Beheshti University, 2022 Keywords bizväzy - bilattices prirodzená dualita Priestleyovská dualita Form. Descr. články - journal articles Language English Country Iran Annotation 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 Public work category ADM No. of Archival Copy 52020 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika Title Piggyback dualities revisited Author info Davey B. A., Haviar M., Priestley H. A. Author Davey Brian A. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (33%)
Source document Algebra Universalis. Vol. 76, no. 2 (2016), pp. 245-285. - Cham : Springer Nature Switzerland AG, 2016 Keywords duality duality theory Priestley duality Priestleyovská dualita Language English Country Switzerland systematics 51 Public work category ADC No. of Archival Copy 37066 Repercussion category 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.
Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika Title Bezhanishvili, Guram; Jansana, Ramon: Priestley style duality for distributive meet-semilattices Par.title Dualita priestleyovského štýlu pre distributévne priesekové polozväzy Author info Miroslav Haviar Author Haviar Miroslav 1965- (100%) UMBFP10 - Katedra matematiky
Source document MathSciNet : Mathematical Reviews on the web. online, MR2821271 (2012h:03161), pp. [1-2]. - Providence : American Mathematical Society, 2012 Review document Studia Logica : Springer, 2011 Keywords algebra - algebra polozväzy Priestleyovská dualita semilattices Priestley duality Language English Country United States of America systematics 512 Public work category EDI No. of Archival Copy 25030 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title Modified Priestley dualities as natural dualities Par.title Modifikované Priestlyovej duality ako prirodzené duality Author info Brian A. Davey, Miroslav Haviar Author Davey Brian A. (50%)
Co-authors Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Source document Lattice Theory: Foundation. S. 434-437. - Basel : Springer, 2011 / Grätzer George 1936- Keywords prirodzená dualita Priestleyovská dualita natural duality Priestley duality Language English Country Switzerland systematics 512 Public work category AEC No. of Archival Copy 19974 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title Using coloured ordered sets to study finite-level full dualities Author info Brian A. Davey, Miroslav Haviar, Jane G. Pitkethly Author Davey Brian A. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Pitkethly Jane G. (33%)
Source document Algebra Universalis. Vol. 64, no. 1-2 (2010), pp. 69-100. - Cham : Springer Nature Switzerland AG, 2010 Keywords prirodzená dualita plná dualita Priestleyovská dualita natural duality full duality Priestley duality Language English Country Switzerland systematics 512 Public work category ADE No. of Archival Copy 18161 Repercussion category 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.
Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika Title Boolean topological distributive lattices and canonical extensions Author info B. A. Davey, Miroslav Haviar, H. A. Priestley Author Davey Brian A. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBUV01 - Ústav vedy a výskumu
Priestley Hilary A. (33%)
Source document Applied Categorical Structures. Vol. 15, no. 3 (2007), pp. 225-241. - Dordrecht : Springer, 2007 Keywords topologický zväz Priestleyovská dualita kanonické rozšírenia prokonečné rozšírenie topological lattice Priestley duality canonical extension profinite completion Language English Country Netherlands systematics 515.1 Public work category ADE No. of Archival Copy 6651 Repercussion category 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.
Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika