A duality theory for bilattices
From MaRDI portal
Publication:1866803
DOI10.1007/s000120050149zbMath1012.06008OpenAlexW2090633591MaRDI QIDQ1866803
George Voutsadakis, Giora Slutzki, Don Pigozzi, Bamshad Mobasher
Publication date: 23 April 2003
Published in: Algebra Universalis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s000120050149
Priestley dualitylogic programmingPriestley spacessubdirectly irreduciblecategory of bilatticesrepresentation of bilatticesnatural equivalenceinterlaced bilattices
Logic in artificial intelligence (68T27) Applications of universal algebra in computer science (08A70) Representation theory of lattices (06B15) Logic programming (68N17) Natural morphisms, dinatural morphisms (18A23)
Related Items
Natural dualities through product representations: bilattices and beyond ⋮ Bilattices with implications ⋮ A Mathematical Life ⋮ Diagrammatic duality ⋮ Residuated bilattices ⋮ Expanding Belnap: dualities for a new class of default bilattices ⋮ Notions of local compactness and smallest compactifications of biframes ⋮ Varieties of interlaced bilattices ⋮ Priestley duality for bilattices ⋮ The product representation theorem for interlaced pre-bilattices: some historical remarks. ⋮ Representation of interlaced trilattices ⋮ Implicative twist-structures ⋮ Belief functions on distributive lattices ⋮ Truth, Falsehood, Information and Beyond: The American Plan Generalized ⋮ Logical Foundations of Evidential Reasoning with Contradictory Information ⋮ A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices ⋮ Bitopology and four-valued logic ⋮ Bilattices and hyperidentities ⋮ Galois connections for bilattices ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Distributive bilattices from the perspective of natural duality theory.
