Výsledky vyhľadávania
Názov Algebra Universalis Vyd.údaje Basel : Springer Nature Switzerland AG , 2024 ISSN 0002-5240 (print)1420-8911 (online) Form.deskr. časopisy - journals, elektronické časopisy - electronic journals Roč., číslo Vol. 85 no. 2 (2024) Jazyk dok. angličtina Krajina Švajčiarsko URL Link na zdrojový dokument Kategória publikačnej činnosti GII 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 (1) - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika ČLÁNKY 2024: Factor principal congruences and Boolean products in filtral varieties Názov Factor principal congruences and Boolean products in filtral varieties Aut.údaje Brian A. Davey, Miroslav Haviar Autor Davey Brian A. (50%)
Spoluautori Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Zdroj.dok. Algebra Universalis. Vol. 85, no. 19 (2024), pp. 1-23. - Basel : Springer Nature Switzerland AG, 2024 Kľúč.slová algebra - algebra Boolean algebra kongruencie Form.deskr. články - journal articles Jazyk dok. angličtina Krajina Švajčiarsko Anotácia Motivated by Haviar and Ploščica's 2021 characterisation of Boolean products of simple De Morgan algebras, we investigate Boolean products of simple algebras in filtral varieties. We provide two main theorems. The first yields Werner's Boolean-product representation of algebras in a discriminator variety as an immediate application. The second, which applies to algebras in which the top congruence is compact, yields a generalisation of the Haviar–Ploščcica result to semisimple varieties of Ockham algebras. The property of having factor principal congruences is fundamental to both theorems. While major parts of our general theorems can be derived from results in the literature, we offer new, self-contained and essentially elementary proofs. URL https://link.springer.com/article/10.1007/s00012-024-00846-8 Kategória publikačnej činnosti ADC Číslo archívnej kópie 54297 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 Algebra Universalis Vyd.údaje Basel : Springer Nature Switzerland AG , 2022 ISSN 0002-52401420-8911 Form.deskr. časopisy - journals, elektronické časopisy - electronic journals Roč., číslo Vol. 83 no. 2 (2022) Jazyk dok. angličtina Krajina Švajčiarsko URL Link na zdrojový dokument Kategória publikačnej činnosti GII 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 (1) - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika ČLÁNKY 2022: Canonical extensions of lattices are more than perfect Názov Canonical extensions of lattices are more than perfect Aut.údaje Andrew P. K. Craig, Maria J. Gouveia, Miroslav Haviar Autor Craig Andrew, P. K. (34%)
Spoluautori Gouveia Maria Joao (33%)
Haviar Miroslav 1965- (33%) UMBFP10 - Katedra matematiky
Zdroj.dok. Algebra Universalis. Vol. 83, no. 2 (2022), pp. [1-17]. - Basel : Springer Nature Switzerland AG, 2022 Kľúč.slová kanonické rozšírenia matematika - mathematics Form.deskr. články - journal articles Jazyk dok. angličtina Krajina Švajčiarsko Anotácia In a paper published in 2015, we introduced TiRS graphs and TiRS frames to create a new natural setting for duals of canonical exten sions of lattices. Here, we firstly introduce morphisms of TiRS structures and put our correspondence between TiRS graphs and TiRS frames into a full categorical framework. We then answer Problem 2 from our 2015 paper by characterising the perfect lattices that are dual to TiRS frames (and hence TiRS graphs). We introduce a new subclass of perfect lattices called PTi lattices and show that the canonical extensions of lattices are PTi lattices, and so are ‘more’ than just perfect lattices. We illustrate the correspondences between classes of our newly-described PTi lattices and classes of TiRS graphs by examples. We conclude by outlining a direction for future research. URL Link na plný text Kategória publikačnej činnosti ADC Číslo archívnej kópie 51538 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 Algebra Universalis Vyd.údaje Basel : Springer Nature Switzerland AG , 2021 ISSN 0002-52401420-8911 Form.deskr. časopisy - journals, elektronické časopisy - electronic journals Roč., číslo Vol. 82 no. 4 (2021) Jazyk dok. angličtina Krajina Švajčiarsko URL Link na zdrojový dokument Kategória publikačnej činnosti GII 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 (1) - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika ČLÁNKY 2021: Perfect extensions of de Morgan algebras Názov Perfect extensions of de Morgan algebras Aut.údaje Miroslav Haviar, Miroslav Ploščica Autor Haviar Miroslav 1965- (50%) UMBFP10 - Katedra matematiky
Spoluautori Ploščica Miroslav (50%)
Zdroj.dok. Algebra Universalis. Vol. 82, no. 4 (2021), art. no. 58, pp. 1-8. - Basel : Springer Nature Switzerland AG, 2021 Kľúč.slová De Morganova algebra - De Morgan algebra MS-algebra rozšírenie - extension Boolean algebra Form.deskr. články - journal articles Jazyk dok. angličtina Krajina Švajčiarsko Anotácia An algebra A is called a perfect extension of its subalgebra B if every congruence of B has a unique extension to A. This terminology was used by Blyth and Varlet [1994]. In the case of lattices, this concept was described by Grätzer and Wehrung [1999] by saying that A is a congruence-preserving extension of B. Not many investigations of this concept have been carried out so far. The present authors in another recent study faced the question of when a de Morgan algebra M is perfect extension of its Boolean subalgebra B(M), the so-called skeleton of M. In this note a full solution to this interesting problem is given. The theory of natural dualities in the sense of Davey and Werner [1983] and Clark and Davey [1998], as well as Boolean product representations, are used as the main tools to obtain the solution. URL Link na plný text Link na zdrojový dokument Kategória publikačnej činnosti ADC Číslo archívnej kópie 50558 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 Algebra universalis Vyd.údaje Basel : Springer Nature Switzerland AG , 2020 ISSN 0002-52401420-8911 Form.deskr. časopisy - journals Roč., číslo Vol. 81 no. 4 (2020) Jazyk dok. angličtina Krajina Švajčiarsko URL Link na zdrojový dokument Kategória publikačnej činnosti GII 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 (1) - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika ČLÁNKY 2020: Expanding Belnap: dualities for a new class of default bilattices Názov Expanding Belnap: dualities for a new class of default bilattices 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. Algebra universalis. Vol. 81, no. 4 (2020), pp. 1-26. - Basel : Springer Nature Switzerland AG, 2020 Kľúč.slová natural duality výsledky - results algebras Form.deskr. články - journal articles Jazyk dok. angličtina Krajina Švajčiarsko Anotácia Bilattices provide an algebraic tool with which to model simultaneously knowledge and truth. They were introduced by Belnap in 1977 in a paper entitled How a computer should think. Belnap argued that instead of using a logic with two values, for ‘true’ and ‘false’, a computer should use a logic with two further values, for ‘contradiction’ and ‘no information´. The resulting structure is equipped with two lattice orders, a knowledge order and a truth order, and hence is called a bilattice. Prioritised default bilattices include not only values for ‘true’, ‘false’, ‘contradiction’ and ‘no information’, but also indexed families of default values for simultaneous modelling of degrees of knowledge and truth. We focus on a new family of prioritised default bilattices: Jn, for all natural numbers n. The bilattice J0 is precisely Belnap’s seminal example. We obtain a multisorted duality for the variety generated by Jn, and separately a single sorted duality for the quasivariety generated by Jn. The main tool for both dualities is a unified approach that enables us to identify the meet-irreducible elements of the appropriate subuniverse lattices. Our results provide an interesting example where the multi-sorted duality for the variety has a simpler structure than the single-sorted duality for the quasivariety URL Link na zdrojový dokument Kategória publikačnej činnosti ADC Číslo archívnej kópie 48507 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 Algebra Universalis Vyd.údaje Cham : Springer Nature Switzerland AG , 2016 ISSN 0002-52401420-8911 Form.deskr. časopisy - journals Roč., číslo Vol. 76 no. 2 (2016) Jazyk dok. angličtina Krajina Švajčiarsko URL Link na zdrojový dokument Kategória publikačnej činnosti GII 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 (1) - PUBLIKAČNÁ ČINNOSŤ Odkazy PERIODIKÁ-Súborný záznam periodika ČLÁNKY 2016: Piggyback dualities revisited 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