Distributive bilattices from the perspective of natural duality theory.

DOI10.1007/s00012-015-0316-5zbMath1319.06011arXiv1308.4495OpenAlexW2081128411MaRDI QIDQ2343033

Leonardo Manuel Cabrer, Hilary A. Priestley

Publication date: 4 May 2015

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1308.4495

zbMATH Keywords

Priestley dualitynatural dualitiesDe Morgan algebrasdistributive bilattices

Mathematics Subject Classification ID

Lattices and duality (06D50) Other algebras related to logic (03G25) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Natural dualities for classes of algebras (08C20) Abstract and axiomatic computability and recursion theory (03D75)

Related Items (8)

Natural dualities through product representations: bilattices and beyond ⋮ Piggyback dualities revisited ⋮ Diagrammatic duality ⋮ Unnamed Item ⋮ Expanding Belnap: dualities for a new class of default bilattices ⋮ Sugihara algebras and Sugihara monoids: Multisorted dualities ⋮ A set-theoretical representation for weakly idempotent lattices and interlaced weakly idempotent bilattices ⋮ Product representation for default bilattices: an application of natural duality theory.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Natural dualities through product representations: bilattices and beyond
• Priestley duality for bilattices
• Coproducts of distributive lattice-based algebras.
• Varieties of interlaced bilattices
• Admissibility of logical inference rules
• A duality theory for bilattices
• Reasoning with logical bilattices
• Product representation for default bilattices: an application of natural duality theory.
• Admissibility via natural dualities
• The product representation theorem for interlaced pre-bilattices: some historical remarks.
• Unification and projectivity in De Morgan and Kleene algebras.
• The logic of distributive bilattices
• Piggyback-Dualitäten
• Belnap's Four-Valued Logic and De Morgan Lattices
• Unification through projectivity
• Regular bilattices
• The structure of interlaced bilattices
• A Machine-Oriented Logic Based on the Resolution Principle
• A ternary operation in distributive lattices

This page was built for publication: Distributive bilattices from the perspective of natural duality theory.