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 A preliminary checklist of Chironomidae (Diptera) from Albania with first records for the Balkan Peninsula Author info Peter Bitušík, Katarína Trnková Author Bitušík Peter 1957- (50%) UMBFP09 - Katedra biológie a environmentálnych štúdií
Co-authors Trnková Katarína 1972 - (50%) UMBFP04 - Katedra životného prostredia
Source document Zootaxa. Vol. 4563, no. 2 (2018), pp. 361-371. - Auckland : Magnolia Press, 2018 Keywords pakomáre - midges - Chironomidae checklists výsledky - results Headings Geogr. Albania Balkánsky polostrov Form. Descr. články - journal articles Language English Country New Zealand systematics 574 URL Link na zdrojový dokument Public work category ADC No. of Archival Copy 44772 Repercussion category DASHINOV, D. - HAMERLIK, L. First record of Nubensia nubens (Edwards 1929) (Diptera: Chironomidae) for Bulgaria. In Chironomus : journal of chironomidae research [online]. 2020, no. 33, pp. 1-4 [cit. 2020-06-09]. ISSN 0172-1941. Dostupné na: https://www.ntnu.no/ojs/index.php/chironomus/article/view/3438/3380
ČERBA, Dubravka - KOH, Miran - ERGOVIC, Viktorija - MIHALJEVIC, Zlatko - MILOSEVIC, Djuradj - HAMERLIK, Ladislav. Chironomidae (Diptera) of Croatia with notes on the diversity and distribution in various habitat types. In Zootaxa. ISSN 1175-5326, 2020, vol. 4780, no. 2, pp. 259-274.
GADAWSKI, Piotr - ROSSARO, Bruno - GIŁKA, Wojciech - MONTAGNA, Matteo - ZAWAL, Andrzej - GRABOWSKI, Michał. First insights into the diversity and ecology of non-biting midges (Diptera: Chironomidae) of the unique ancient Skadar Lake basin (Montenegro/Albania). In Journal of Great Lakes research. ISSN 0380-1330, 2022, vol. 48, no. 2, pp. 538-550.
ROSSARO, Bruno et al. An updated list of chironomid species from Italy with biogeographic considerations (Diptera, Chironomidae). In Biogeographia. ISSN 1594-7629, 2019, vol. 34, pp. 59-85.
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 non-additive probability measures Author info Beloslav Riečan, Karol Samuelčík Author Riečan Beloslav 1936-2018 (50%)
Co-authors Samuelčík Karol (50%)
Source document Mathematica Slovaca. Vol. 67, no. 6 (2017), pp. 1571-1576. - Bratislava : Slovenská akadémia vied, Matematický ústav SAV, 2017 Keywords pravdepodobnosť - probability measures výsledky - results Language English Country Slovak Republic systematics 51 Public work category ADN No. of Archival Copy 41122 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 Cena Európskej únie za literatúru 2011 Subtitle literárne ocenenia Author info Eva Hollá Author Hollá Eva 1983- (100%) UMBRE01 - Rektorát UMB
Source document Bibliotheca Universitatis 2011-2012 : časopis Univerzitnej knižnice Univerzity Mateja Bela. Roč. 7, č. 3 (2011-2012), s. 12-13. - Banská Bystrica : Univerzitná knižnica Univerzity Mateja Bela, 2012 / Homolová Ľudmila 1955- ; Grendárová Renáta ; Kazimírová Gréta 1962- Corporation keywords Európska únia - European Union
Keywords Cena EU za literatúru výsledky - results Language Slovak Country Slovak Republic systematics 82 Public work category GII No. of Archival Copy 22014 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 Služby vysokoškolského vzdelávania podporené implementáciou manažérstva kvality - problémy a skúsenosti Author info Mária Uramová Author Uramová Mária 1952-2020 (100%) UMBEF02 - Katedra ekonómie
Source document Manažérstvo kvality vo verejnej správe : 7. národná konferencia o kvalite, Bratislava, 7. - 8. decembra 2010, zborník prednášok. S. [1-5]. - Bratislava : Úrad pre normalizáciu, metrológiu a skúšobníctvo Slovenskej republiky, 2010 ; Manažérstvo kvality vo verejnej správe národná konferencia o kvalite Note Bibl.: s. [5] Keywords kvalita - quality systém manažérstva kvality - quality management system - QMS výsledky - results aktuálne problémy - current problems Language Slovak Country Slovak Republic systematics 334 Public work category AFD No. of Archival Copy 19225 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title Volejbalový turnaj o pohár Rektorky UMB a Predsedu OZ UMB Author info Jiří Michal Author Michal Jiří 1961- (100%) UMBFH09 - Katedra telesnej výchovy a športu
Source document Universitas Matthiae Belii : spravodajca Univerzity Mateja Bela v Banskej Bystrici. Roč. 15, č. 5 (2009), s. 22. - Banská Bystrica : Univerzita Mateja Bela, 2009 Keywords volejbalový turnaj výsledky - results Univerzita Mateja Bela (Banská Bystrica) Language Slovak Country Slovak Republic systematics 796 Public work category GII No. of Archival Copy 21847 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 Market based health care reforms solutions and their outcomes in CEE Author info Juraj Nemec Author Nemec Juraj 1960- (100%) UMBEF04 - Katedra financií a účtovníctva
Source document Tendencja i uwarunkowania rozwoju finansow przedsiebiorstw i finansow publicznych. S. 338-352. - Warsava a Gdansk : CeDeWu a WSB Gdansk, 2008 Keywords zdravotníctvo - health service reformy - reforms výsledky - results starostlivosť o zdravie - health care outcomes Language English Country Poland systematics 65.011.8 Public work category ABC No. of Archival Copy 10326 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title Ispoľzovanie bazovych rynočnych mechanizmov v reforme zdravoochranenia v stranach Centralnoj i Vostočnoj Evropy: uroki bolee čem desatiletnich izmenenii Author info Juraj Nemec Author Nemec Juraj 1960- UMBEF04 - Katedra financií a účtovníctva
Source document Sovremennoje zdravoochranenie : vozmožnosti i peredely nastojaščevo. S. 46-59 [1 AH]. - Moskva : Lomonosovova univerzita, 2008 Note Bibl.: s. 59 Keywords zdravotníctvo - health service reforma výsledky - results starostlivosť o zdravie - health care Headings Geogr. Európa stredná a východná Language Russian Country Russian Federation systematics 336 Public work category ABC No. of Archival Copy 12372 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ Title IX. ročník tenisového turnaja zamestnancov UMB Author info Jiří Michal Author Michal Jiří 1961- (100%) UMBFH09 - Katedra telesnej výchovy a športu
Source document Universitas Matthiae Belii : spravodajca Univerzity Mateja Bela v Banskej Bystrici. Roč. 15, č. 1 (2008), s. 24. - Banská Bystrica : Univerzita Mateja Bela, 2008 Keywords tenisový turnaj Univerzita Mateja Bela (Banská Bystrica) pedagogickí zamestnanci - teaching staff - educationalists výsledky - results Language Slovak Country Slovak Republic systematics 796 Public work category GII No. of Archival Copy 21850 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 Testy a výber do CTM na rok 2008 Author info Juraj Kremnický Author Kremnický Juraj 1978- UMBFH09 - Katedra telesnej výchovy a športu
Source document Spravodaj SGF. Roč. 2008, č. 1 (2008), s. 112-113 Keywords členovia CTM testy - tests výsledky - results Language Slovak Country Slovak Republic systematics 796 Public work category GII No. of Archival Copy 9654 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ