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 A fresh perspective on canonical extensions for bounded lattices Par.title Nová perspektíva ohľadne kanonických rozšírení ohraničených zväzov Author info A. P. K. Craig, M. Haviar, H. A. Priestley Author Craig Andrew, P. K. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (33%)
Source document Applied Categorical Structures. Vol. 21, no. 6 (2013), pp. 725-749. - Dordrecht : Springer, 2013 Keywords kanonické rozšírenia prirodzená dualita topologická reprezentácia canonical extension natural duality topological representation Language English Country Netherlands systematics 544.022 Annotation 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) Public work category ADM No. of Archival Copy 27747 Repercussion category 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.
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 Natural dualities in partnership Author info Brian A. Davey, Miroslav Haviar, Hilary A. Priestley Author Davey Brian A. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (33%)
Source document Applied Categorical Structures. Vol. 20, no. 6 (2012), pp. 583-602. - Dordrecht : Springer, 2012 Keywords prirodzená dualita prirodzené rozšírenie kanonické rozšírenia natural duality natural extension canonical extension Language English Country Netherlands systematics 512 Public work category ADE No. of Archival Copy 23307 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 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 Transferral of entailment in duality theory: dualisability Author info Maria Joao Gouveia, Miroslav Haviar Author Gouveia Maria Joao (50%)
Co-authors Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Source document Czechoslovak mathematical journal. Vol. 61, no. 1 (2011), pp. 41-63. - Prague : Institute of mathematics, 2011 Keywords prirodzená dualita entailment dualizovateľnosť retrakcia natural duality dualisability retraction endodualisability Language English Country Germany systematics 512 Public work category ADE No. of Archival Copy 18310 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 Multisorted dualisability: change of base Author info Brian A. Davey ... [et al.] Author Davey Brian A. (25%)
Co-authors Gouveia M. J. (25%)
Haviar Miroslav 1965- (25%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (25%)
Source document Algebra Universalis. Vol. 66, no. 4 (2011), pp. 331-336. - Cham : Springer Nature Switzerland AG, 2011 Keywords prirodzená dualita dualizovateľnosť natural duality dualisability Language English Country Switzerland systematics 512 Annotation 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 Public work category ADE No. of Archival Copy 21511 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 Natural extensions and profinite completions of algebras Author info B. A. Davey ... [et al.] Author Davey Brian A. (25%)
Co-authors Gouveia M. J. (25%)
Haviar Miroslav 1965- (25%) UMBFP10 - Katedra matematiky
Priestley Hilary A. (25%)
Source document Algebra Universalis. Vol. 66, no. 3 (2011), pp. 205-241. - Cham : Springer Nature Switzerland AG, 2011 Keywords prirodzené rozšírenie prirodzená dualita kanonické rozšírenia profinite completion natural extension natural duality canonical extension Language English Country Switzerland systematics 51 Annotation 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 Public work category ADE No. of Archival Copy 20292 Repercussion category 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.
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 Transferral of entailment in duality theory II: strong dualisability Author info Maria Joao Gouveia, Miroslav Haviar Author Gouveia Maria Joao (50%)
Co-authors Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Source document Czechoslovak mathematical journal. Vol. 61, no. 2 (2011), s. 401-417. - Prague : Institute of mathematics, 2011 Keywords prirodzená dualita entailment dualizovateľnosť retrakcia natural duality dualisability retraction endodualisability Language English Country Germany systematics 512 Public work category ADE No. of Archival Copy 19015 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 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 Endodualisable and endoprimal finite double Stone algebras Author info Miroslav Haviar, Hilary A. Priestley Author Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Co-authors Priestley Hilary A. (50%)
Source document Algebra Universalis. Vol. 58, no. 2 (2008), pp. 203-228. - Cham : Springer Nature Switzerland AG, 2008 Keywords Stoneova algebra prirodzená dualita endodualizovateľná algebra endoprimálna algebra Stone algebra natural duality endodualisable algebra endoprimal algebra Language English Country Switzerland systematics 512 Annotation Konečné endodualizovateľné dvojné Stoneove algebry sú charakterizované a je ukázané, že každá konečná endoprimálna dvojná Stoneova algebra je endodualizovateľná. The finite endodualisable double Stone algebras are characterised and every finite endoprimal double Stone algebra is shown to be endodualisable. Public work category ADE No. of Archival Copy 9962 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika