A general framework for product representations: bilattices and beyond

DOI10.1093/JIGPAL/JZV030zbMATH Open1405.06002arXiv1503.06921OpenAlexW1777300595MaRDI QIDQ4644601FDOQ4644601

Authors: Leonardo Manuel Cabrer, Hilary A. Priestley 

Publication date: 8 January 2019

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Abstract: This paper studies algebras arising as algebraic semantics for logics used to model reasoning with incomplete or inconsistent information. In particular we study, in a uniform way, varieties of bilattices equipped with additional logic-related operations and their product representations. Our principal result is a very general product representation theorem. Specifically, we present a syntactic procedure (called duplication) for building a product algebra out of a given base algebra and a given set of terms. The procedure lifts functorially to the generated varieties and leads, under specified sufficient conditions, to a categorical equivalence between these varieties. When these conditions are satisfied, a very tight algebraic relationship exists between the base variety and the enriched variety. Moreover varieties arising as duplicates of a common base variety are automatically categorically equivalent to each other. Two further product representation constructions are also presented; these are in the same spirit as our main theorem and extend the scope of our analysis. Our catalogue of applications selects varieties for which product representations have previously been obtained one by one, or which are new. We also reveal that certain varieties arising from the modelling of quite different operations are categorically equivalent. Among the range of examples presented, we draw attention in particular to our systematic treatment of trilattices.

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

Recommendations

• Natural dualities through product representations: bilattices and beyond
• Distributive bilattices from the perspective of natural duality theory.
• Product representation for default bilattices: an application of natural duality theory.
• scientific article; zbMATH DE number 19702
• Varieties of interlaced bilattices

zbMATH Keywords

trilatticebilatticeDe Morgan algebraproduct representationconflation

Mathematics Subject Classification ID

Representation theory of lattices (06B15) Generalizations of lattices (06B75) Natural dualities for classes of algebras (08C20) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30) Lattices and duality (06D50)

Cited In (9)

• On prevarieties of logic
• Algebraic analysis of demodalised analytic implication
• Natural dualities through product representations: bilattices and beyond
• Galois connections for bilattices
• Twist structures and Nelson conuclei
• Representation of interlaced trilattices
• De Morgan-Płonka sums
• Nelson algebras, residuated lattices and rough sets: A survey
• Bilattice logics and demi-negation

This page was built for publication: A general framework for product representations: bilattices and beyond

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644601)