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 
nerozpoznaný
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 
článok
Názov Full does not imply strong, does it? Aut.údaje Brian A. Davey, Miroslav Haviar, Ross Willard Autor Davey Brian A. (34%)
Spoluautori Haviar Miroslav 1965- (33%) UMBUV01 - Ústav vedy a výskumu
Willard Ross (33%)
Zdroj.dok. Algebra Universalis. Vol. 54, no. 1 (2005), pp. 1-22. - Cham : Springer Nature Switzerland AG, 2005 Kľúč.slová matematika - mathematics algebra - algebra algebras Jazyk dok. angličtina Krajina Švajčiarsko Systematika 511 Kategória publikačnej činnosti ADE Číslo archívnej kópie 3648 Kategória ohlasu GRÄTZER, George. Lattice theory : foundation. Basel : Birkhäuser Verlag AG, 2011. 613 p. ISBN 978-3-0348-0017-4.
PITKETHLY, Jane G. A full duality that cannot be upgraded to a strong duality. In Houston journal of mathematics. ISSN 0362-1588, 2009, vol. 35, no. 3, pp. 757-774.
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 článok
Názov Applications of Priestley duality in transferring optimal dualities Aut.údaje Brian A. Davey, Miroslav Haviar Autor Davey Brian A. (50%)
Spoluautori Haviar Miroslav 1965- (50%) UMBPF03 - Katedra matematiky
Zdroj.dok. Studia logica. Vol. 78, no. 1-2 (2004), pp. 213-236. - Dordrecht : Springer nature, 2004 Kľúč.slová algebra - algebra optimálna dualita algebras optimal duality Jazyk dok. angličtina Krajina Holandsko Systematika 512 Kategória publikačnej činnosti ADE Číslo archívnej kópie 3649 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 článok