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 (not assumed to be an involution or commute with negation). Here both the associated product representation and the duality are new. Finally we outline analogous procedures for pre-bilattice-based algebras (so negation is absent).
Article PDF
Similar content being viewed by others
References
Arieli O., Avron A.: Reasoning with logical bilattices. Journal of Logic Language and Information 5, 25–63 (1996)
Belnap, N. D., A useful four-valued logic: how a computer should think, in A. R. Anderson, and N. D. Belnap (eds.), Entailment. The Logic of Relevance and Necessity, Vol. II, Princeton University Press, Princeton, 1992, pp. 506–541.
Blyth T., Varlet J.: Ockham Algebras. Oxford University Press, Oxford (1994)
Bou F., Rivieccio U.: The logic of distributive bilattices. Logic Journal of the IGPL 19, 183–216 (2011)
Bou F., Jansana R., Rivieccio U.: Varieties of interlaced bilattices. Algebra Universalis 66, 115–141 (2011)
Burris, S. N., and H. P. Sankappanavar, A Course in Universal Algebra, Graduate Texts in Mathematics, Vol. 78, Springer, 1981, Free download at http://www.math.waterloo.ca/~snburris.
Cabrer L. M., Priestley H. A.: Coproducts of distributive lattice-based algebras. Algebra Universalis 72, 251–286 (2014)
Cabrer L. M., Priestley H. A.: Distributive bilattices from the perspective of natural duality theory. Algebra Universalis 73, 103–141 (2015)
Cabrer L. M., Priestley H. A.: A general framework for product representations: bilattices and beyond. Logic Journal of the IGPL 23, 816–841 (2015)
Clark D. M., Davey B. A.: Dualities for the Working Algebraist. Cambridge University Press, Cambridge (998))
Davey B. A.: The product representation theorem for interlaced pre-bilattices: some historical remarks. Algebra Universalis 70, 403–409 (2013)
Davey B. A., Werner H.: Piggyback-Dualitäten. Bulletin of the Australian Mathematical Society 32, 1–32 (1985)
Davey, B. A., M. Haviar, and H. A. Priestley, Piggyback dualities revisited, Algebra Universalis (to appear), available at arXiv:1501.02512v1.
Fitting M.: Kleene’s three-valued logics and their children. Fundamenta Informaticae 20, 113–131 (1994)
Fitting, M., Annotated revision specification programs, in Proceedings LPNR’95, Lecture Notes in Computer Science, vol. 928, 1995, pp. 143–155.
Fitting : Bilattices are nice things, in Self-reference, CSLI Lecture Notes, Vol. 178. CSLI Publication, Stanford, CA (2006)
Font, J. M., Belnap’s four-valued logic and De Morgan lattices, Logic Journal of the IGPL 5: 413–440, 1997
Gargov G.: Knowledge, uncertainty and ignorance: bilattices and beyond. Journal of Applied Non-Classical Logics 9, 195–283 (1999)
Ginsberg M. L.: Multivalued logics: a uniform approach to inference in artificial intelligence. Computational Intelligence 4, 265–316 (1988)
Ginsberg M. L.: Bilattices and modal operators. Journal of Logic and Computation 1, 41–69 (1990)
Goldberg M. S.: Topological duality for distributive Ockham algebras. Studia Logica 42, 23–31 (1983)
Jung A., Rivieccio U.: Priestley duality for bilattices. Studia Logica 100, 223–252 (2012)
Marek, V. W., M. Truszczyński, Revision specifications by means of programs, in Proceedings of JELIA’95, Lecture Notes in Computer Science, Vol. 838, 1994, pp. 122–136.
Mobasher, B., D. Pigozzi, V. Slutski, and D. Voutsadakis, A duality theory for bilattices, Algebra Universalis 43:109–125, 2000.
Odintsov S. P., Wansing H.: The logic of generalized truth values and the logic of bilattices. Studia Logica 103, 91–112 (2015)
Ruet P., Fages F.: Combining explicit negation and negation by failure via Belnap’s logic. Theoretical Computer Science 171, 61–75 (1997)
Shramko Y., Wansing H.: Truth and Falsehood. An Inquiry into Generalized Logical Values. Springer, Dordrecht (2011)
Urquhart A.: Distributive lattices with a dual homomorphic operation. Studia Logica 38, 201–209 (1979)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Cabrer, L.M., Priestley, H.A. Natural Dualities Through Product Representations: Bilattices and Beyond. Stud Logica 104, 567–592 (2016). https://doi.org/10.1007/s11225-016-9651-6
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-016-9651-6