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 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 Title Full does not imply strong, does it? Author info Brian A. Davey, Miroslav Haviar, Ross Willard Author Davey Brian A. (34%)
Co-authors Haviar Miroslav 1965- (33%) UMBUV01 - Ústav vedy a výskumu
Willard Ross (33%)
Source document Algebra Universalis. Vol. 54, no. 1 (2005), pp. 1-22. - Cham : Springer Nature Switzerland AG, 2005 Keywords matematika - mathematics algebra - algebra algebras Language English Country Switzerland systematics 511 Public work category ADE No. of Archival Copy 3648 Repercussion category 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.
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 Applications of Priestley duality in transferring optimal dualities Author info Brian A. Davey, Miroslav Haviar Author Davey Brian A. (50%)
Co-authors Haviar Miroslav 1965- (50%) UMBPF03 - Katedra matematiky
Source document Studia logica. Vol. 78, no. 1-2 (2004), pp. 213-236. - Dordrecht : Springer nature, 2004 Keywords algebra - algebra optimálna dualita algebras optimal duality Language English Country Netherlands systematics 512 Public work category ADE No. of Archival Copy 3649 Catal.org. BB301 - Univerzitná knižnica Univerzity Mateja Bela v Banskej Bystrici Database xpca - PUBLIKAČNÁ ČINNOSŤ References PERIODIKÁ-Súborný záznam periodika