Search results
Title Expanding Belnap: dualities for a new class of default bilattices 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 Algebra universalis. Vol. 81, no. 4 (2020), pp. 1-26. - Basel : Springer Nature Switzerland AG, 2020 Keywords natural duality výsledky - results algebras Form. Descr. články - journal articles Language English Country Switzerland Annotation 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 Public work category ADC No. of Archival Copy 48507 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 On some methods of probability Author info Alžbeta Michalíková, Beloslav Riečan Author Michalíková Alžbeta 1979- (90%) UMBFP05 - Katedra informatiky
Co-authors Riečan Beloslav 1936-2018 (10%)
Source document Notes on Intuitionistic Fuzzy Sets. Vol. 24, no. 2 (2018), pp. 76-83. - Sofia : Balgarska akademiya na naukite, 2018 Keywords IF sets IF states IV-sets MV-algebras Language English Country Bulgaria systematics 51 Public work category ADE No. of Archival Copy 42755 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title A-poset with multiplicative operation Author info Daniela Kluvancová Author Kluvancová Daniela 1990- (100%) UMBFP10 - Katedra matematiky
Source document 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 Keywords A-poset effect algebras partial ordering efektové algebry čiastočné usporiadania Language English Country Poland systematics 51 URL http://link.springer.com/book/10.1007%2F978-3-319-26211-6 Public work category AFC No. of Archival Copy 35647 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title Observables on quantum structures Author info Anatolij Dvurečenskij, Mária Kuková Author Dvurečenskij Anatolij 1949- (50%)
Co-authors Kuková Mária 1986- (50%) UMBFP10 - Katedra matematiky
Source document Information sciences. Vol. 262, (2014), pp. 215-222. - New York : Elsevier Science Ltd., 2014 Keywords effect algebras observables quantum structures Language English Country United States of America systematics 512 Public work category ADC No. of Archival Copy 30212 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 Conditional probability on the family of IF-events with product Author info Renáta Hanesová Author Hanesová Renáta 1987- (100%) UMBFP10 - Katedra matematiky
Source document 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ł Keywords MV-algebry IF events IF-state MV-algebras conditional probability Language English Country Poland systematics 512 Public work category AEC No. of Archival Copy 27405 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title On a story inspired by IF-sets Author info Beloslav Riečan Author Riečan Beloslav 1936-2018 (100%) UMBFP10 - Katedra matematiky
Source document 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ł Keywords IF events IF-state MV-algebras Language English Country Poland systematics 512 Public work category AEC No. of Archival Copy 23399 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title A convergence theorem on effect algebras Author info Beloslav Riečan, Lenka Lašová Author Riečan Beloslav 1936-2018 (50%) UMBFP10 - Katedra matematiky
Co-authors Lašová Lenka (50%) UMBFP12 - Inštitút matematiky a informatiky
Source document 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ł Keywords ergodic theorems effect algebras observables Language English Country Poland systematics 512 Public work category AEC No. of Archival Copy 23400 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title A strengthening of the Poincaré recurrence theorem on MV-algebras Author info Beloslav Riečan Author Riečan Beloslav 1936-2018 (100%) UMBFP10 - Katedra matematiky
Source document 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 Keywords Poincaré recurrence theorem Poincarého rekurentná veta MV-algebras MV-algebry Language English Country Czech Republic systematics 512 Public work category AFA No. of Archival Copy 23396 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References (1) - PUBLIKAČNÁ ČINNOSŤ Title Probability on Hilbert space effect algebras Author info Miloslav Duchoň, Beloslav Riečan Author Duchoň Miloslav (50%)
Co-authors Riečan Beloslav 1936-2018 (50%) UMBFP10 - Katedra matematiky
Source document Tatra Mountains Mathematical Publications. Roč. 52, č. 2 (2012), s. 141-151. - Bratislava : Slovenská akadémia vied, 2012 Keywords posets effect algebras linear positive operators Hilbertove priestory - Hilbert spaces Language English Country Slovak Republic systematics 51 Public work category ADF No. of Archival Copy 23383 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 Conditional probability on the Kôpka's D-posets Author info Karol Samuelčík, Ivana Hollá Author Samuelčík Karol (50%) UMBFP10 - Katedra matematiky
Co-authors Hollá Ivana (50%) UMBFP10 - Katedra matematiky
Source document Acta Mathematica Sinica : English Series. Vol. 28, no. 11 (2012), pp. 2197-2204. - Heidelberg : Springer, 2012 Keywords IF množiny algebra - algebra IF events algebras sets Language English Country Germany systematics 51 Public work category ADC No. of Archival Copy 33590 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika