Natural Dualities Through Product Representations: Bilattices and Beyond

Studia Logica 104 (3):567-592 (2016)
  Copy   BIBTEX

Abstract

This paper focuses on natural dualities for varieties of bilattice-based algebras. Such varieties have been widely studied as semantic models in situations where information is incomplete or inconsistent. The most popular tool for studying bilattices-based algebras is product representation. The authors recently set up a widely applicable algebraic framework which enabled product representations over a base variety to be derived in a uniform and categorical manner. By combining this methodology with that of natural duality theory, we demonstrate how to build a natural duality for any bilattice-based variety which has a suitable product representation over a dualisable base variety. This procedure allows us systematically to present economical natural dualities for many bilattice-based varieties, for most of which no dual representation has previously been given. Among our results we highlight that for bilattices with a generalised conflation operation. Here both the associated product representation and the duality are new. Finally we outline analogous procedures for pre-bilattice-based algebras.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Priestley Duality for Bilattices.A. Jung & U. Rivieccio - 2012 - Studia Logica 100 (1-2):223-252.
Bilattices with Implications.Félix Bou & Umberto Rivieccio - 2013 - Studia Logica 101 (4):651-675.
Evidential bilattice logic and lexical inference.Andreas Schöter - 1996 - Journal of Logic, Language and Information 5 (1):65-105.
Semilattice-based dualities.A. B. Romanowska & J. D. H. Smith - 1996 - Studia Logica 56 (1-2):225 - 261.
The logic of distributive bilattices.Félix Bou & Umberto Rivieccio - 2011 - Logic Journal of the IGPL 19 (1):183-216.
Regular bilattices.Alexej P. Pynko - 2000 - Journal of Applied Non-Classical Logics 10 (1):93-111.
Ockham Algebras with Additional Operators.Aldo Figallo, Paolo Landini & Alicia Zillani - 2004 - Logic Journal of the IGPL 12 (6):447-459.
Bilattices are nice things.Melvin Fitting - 2006 - In T. Bolander, V. Hendricks & S. A. Pedersen (eds.), Self-Reference. CSLI Publications.

Analytics

Added to PP
2016-02-05

Downloads
27 (#574,515)

6 months
6 (#504,917)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Reasoning with logical bilattices.Ofer Arieli & Arnon Avron - 1996 - Journal of Logic, Language and Information 5 (1):25--63.
Bilattices are nice things.Melvin Fitting - 2006 - In T. Bolander, V. Hendricks & S. A. Pedersen (eds.), Self-Reference. CSLI Publications.

View all 12 references / Add more references