Výsledky vyhľadávania
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 On some methods of probability Aut.údaje Alžbeta Michalíková, Beloslav Riečan Autor Michalíková Alžbeta 1979- (90%) UMBFP05 - Katedra informatiky
Spoluautori Riečan Beloslav 1936-2018 (10%)
Zdroj.dok. Notes on Intuitionistic Fuzzy Sets. Vol. 24, no. 2 (2018), pp. 76-83. - Sofia : Balgarska akademiya na naukite, 2018 Kľúč.slová IF sets IF states IV-sets MV-algebras Jazyk dok. angličtina Krajina Bulharsko Systematika 51 Kategória publikačnej činnosti ADE Číslo archívnej kópie 42755 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov A-poset with multiplicative operation Aut.údaje Daniela Kluvancová Autor Kluvancová Daniela 1990- (100%) UMBFP10 - Katedra matematiky
Zdroj.dok. Novel developments in uncertainty representation and processing : advances in intuitionistic fuzzy sets and generalized nets : proceedings of 14th international conference on intuitionistic fuzzy sets and generalized nets (IWIFSGN), Cracow, October 26-28, 2015, Vol. 401. Pp. 51-60. - Warsaw : Springer, 2016 ; Advances in intuitionistic fuzzy sets and generalized nets medzinárodná konferencia Kľúč.slová A-poset effect algebras partial ordering efektové algebry čiastočné usporiadania Jazyk dok. angličtina Krajina Poľsko Systematika 51 URL http://link.springer.com/book/10.1007%2F978-3-319-26211-6 Kategória publikačnej činnosti AFC Číslo archívnej kópie 35647 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov Observables on quantum structures Aut.údaje Anatolij Dvurečenskij, Mária Kuková Autor Dvurečenskij Anatolij 1949- (50%)
Spoluautori Kuková Mária 1986- (50%) UMBFP10 - Katedra matematiky
Zdroj.dok. Information sciences. Vol. 262, (2014), pp. 215-222. - New York : Elsevier Science Ltd., 2014 Kľúč.slová effect algebras observables quantum structures Jazyk dok. angličtina Krajina Spojené štáty Systematika 512 Kategória publikačnej činnosti ADC Číslo archívnej kópie 30212 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 Conditional probability on the family of IF-events with product Aut.údaje Renáta Hanesová Autor Hanesová Renáta 1987- (100%) UMBFP10 - Katedra matematiky
Zdroj.dok. New Developments in Fuzzy Sets, Intuitionistic Fuzzy Sets, Generalized Nets and Related Topics, Vol. I - Foundations. S. 157-165. - Warszaw : Systems Research Institute, Polish Academy of Sciences, 2012 / Atanassov Krassimir ; Baczyński Michał Kľúč.slová MV-algebry IF events IF-state MV-algebras conditional probability Jazyk dok. angličtina Krajina Poľsko Systematika 512 Kategória publikačnej činnosti AEC Číslo archívnej kópie 27405 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov On a story inspired by IF-sets Aut.údaje Beloslav Riečan Autor Riečan Beloslav 1936-2018 (100%) UMBFP10 - Katedra matematiky
Zdroj.dok. New Developments in Fuzzy Sets, Intuitionistic Fuzzy Sets, Generalized Nets and Related Topics, Vol. I - Foundations. S. 149-156. - Warszaw : Systems Research Institute, Polish Academy of Sciences, 2012 / Atanassov Krassimir ; Baczyński Michał Kľúč.slová IF events IF-state MV-algebras Jazyk dok. angličtina Krajina Poľsko Systematika 512 Kategória publikačnej činnosti AEC Číslo archívnej kópie 23399 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov A convergence theorem on effect algebras Aut.údaje Beloslav Riečan, Lenka Lašová Autor Riečan Beloslav 1936-2018 (50%) UMBFP10 - Katedra matematiky
Spoluautori Lašová Lenka (50%) UMBFP12 - Inštitút matematiky a informatiky
Zdroj.dok. New Developments in Fuzzy Sets, Intuitionistic Fuzzy Sets, Generalized Nets and Related Topics, Vol. I - Foundations. S. 157-165. - Warszaw : Systems Research Institute, Polish Academy of Sciences, 2012 / Atanassov Krassimir ; Baczyński Michał Kľúč.slová ergodic theorems effect algebras observables Jazyk dok. angličtina Krajina Poľsko Systematika 512 Kategória publikačnej činnosti AEC Číslo archívnej kópie 23400 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Názov A strengthening of the Poincaré recurrence theorem on MV-algebras Aut.údaje Beloslav Riečan Autor Riečan Beloslav 1936-2018 (100%) UMBFP10 - Katedra matematiky
Zdroj.dok. Applications of mathematics 2012 : proceedings of the International Conference : in honor of the 60th birthday of Michal Křížek, Prague, May 2-5, 2012. S. 236-242. - Prague : Academy of Sciences, Institute of Mathematics, 2012 / Brandts J. ; Applications of mathematics 2012 international conference Kľúč.slová Poincaré recurrence theorem Poincarého rekurentná veta MV-algebras MV-algebry Jazyk dok. angličtina Krajina Česká republika Systematika 512 Kategória publikačnej činnosti AFA Číslo archívnej kópie 23396 Katal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Báza dát xpca - PUBLIKAČNÁ ČINNOSŤ Odkazy (1) - PUBLIKAČNÁ ČINNOSŤ Názov Probability on Hilbert space effect algebras Aut.údaje Miloslav Duchoň, Beloslav Riečan Autor Duchoň Miloslav (50%)
Spoluautori Riečan Beloslav 1936-2018 (50%) UMBFP10 - Katedra matematiky
Zdroj.dok. Tatra Mountains Mathematical Publications. Roč. 52, č. 2 (2012), s. 141-151. - Bratislava : Slovenská akadémia vied, 2012 Kľúč.slová posets effect algebras linear positive operators Hilbertove priestory - Hilbert spaces Jazyk dok. angličtina Krajina Slovenská republika Systematika 51 Kategória publikačnej činnosti ADF Číslo archívnej kópie 23383 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 Conditional probability on the Kôpka's D-posets Aut.údaje Karol Samuelčík, Ivana Hollá Autor Samuelčík Karol (50%) UMBFP10 - Katedra matematiky
Spoluautori Hollá Ivana (50%) UMBFP10 - Katedra matematiky
Zdroj.dok. Acta Mathematica Sinica : English Series. Vol. 28, no. 11 (2012), pp. 2197-2204. - Heidelberg : Springer, 2012 Kľúč.slová IF množiny algebra - algebra IF events algebras sets Jazyk dok. angličtina Krajina Nemecko Systematika 51 Kategória publikačnej činnosti ADC Číslo archívnej kópie 33590 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