Výsledky vyhľadávania
- Title
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 
nerozpoznaný
Motív domu a cesty v tvorbe ruských a slovenských spisovateľov 20. stor.Subtitlediplomová prácaAuthor infoMiroslava Vyšňanová; školiteľ: Marta KováčováTitle Motív domu a cesty v tvorbe ruských a slovenských spisovateľov 20. stor. Subtitle diplomová práca Author info Miroslava Vyšňanová; školiteľ: Marta Kováčová Author Vyšňanová Miroslava
Another authors Kováčová Marta 1961- (Školiteľ (konzultant))
Corporation Univerzita Mateja Bela . Filozofická fakulta . Katedra slovanských jazykov , Banská Bystrica, Slovensko Issue data Banská Bystrica , 2022. - 65 s. Person keywords Urban Milo slovenský prozaik, prekladateľ a novinár 1904-1982 Mináč Vladimír slovenský básnik 1922-1996 Rasputin Valentin Grigorievič ruský spisovateľ a politik 1937-2015 Keywords 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Ť 
článok
Title Obraz človeka a vojny v novele Valentína Rasputina Ži a pamätaj a v románe Mila Urbana Živý bič Author info Marta Kováčová Author Kováčová Marta 1961- (100%) UMBFF17 - Katedra slovanských jazykov
Source document Russkaja kuľtura v sovremennom mire (filologija, kuľturologija, translatologija) : sbornik naučnych dokladov, 10. - 11. dekabria 2017, Banská Bystrica. S. 57-67. - Banská Bystrica : Signis, 2019 / Šuľc S. A. ; Lizoň Martin 1977- ; Russkaja kuľtura v sovremennom mire medzinárodná vedecká konferencia Person keywords Rasputin Valentin Grigorievič ruský spisovateľ a politik 1937-2015 Urban Milo slovenský prozaik, prekladateľ a novinár 1904-1982 Keywords slovenská literatúra - Slovak literature ruská literatúra - Russian literature analýzy diel obraz človeka vojny - vojna - wars Form. Descr. príspevky v zborníku - proceedings papers Language Slovak Country Slovak Republic systematics 82 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ nerozpoznaný
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 článok
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Ť článok
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Ť článok
Title Literáronymá v Urbanovom Živom biči Author info Pavol Odaloš Author Odaloš Pavol 1960- (100%) UMBFF12 - Katedra slovenského jazyka a komunikácie
Source document Folia Onomastica Croatica. No. 28 (2019), pp. 165-178. - Zagreb : Hrvatska akademija znanosti i umjetnosti, 2019 Person keywords Urban Milo slovenský prozaik, prekladateľ a novinár 1904-1982 Keywords onomastika - onomastics 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 podmienená pravdepodobnosť - 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Ť článok
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 článok
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Ť článok
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
Action International Summer Conference on Real Functions Theory . medzinárodná konferencia , 25. , Zloty Potok , 15.-20.05.2011 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 AFD 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 článok