Abstract
We introduce a new product bilattice construction that generalizes the well-known one for interlaced bilattices and others that were developed more recently, allowing to obtain a bilattice with two residuated pairs as a certain kind of power of an arbitrary residuated lattice. We prove that the class of bilattices thus obtained is a variety, give a finite axiomatization for it and characterize the congruences of its members in terms of those of their lattice factors. Finally, we show how to employ our product construction to define first-order definable classes of bilattices corresponding to any first-order definable subclass of residuated lattices.
Similar content being viewed by others
References
Arieli O, Avron A (1996) Reasoning with logical bilattices. J Log Lang Inform 5(1):25–63
Avron A (1996) The structure of interlaced bilattices. Math Struct Comput Sci 6(3):287–299
Bou F, Jansana R, Rivieccio U (2011) Varieties of interlaced bilattices. Algebra Universalis (in press)
Bou F, Rivieccio U (2011) The logic of distributive bilattices. Log J IGPL 19(1):183–216
Busaniche M, Cignoli R (2009) Residuated lattices as an algebraic semantics for paraconsistent Nelson’s logic. J Log Comput 19(6):1019–1029
Galatos N, Raftery JG (2004) Adding involution to residuated structures. Studia Log 77(2):181–207
Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated lattices: an algebraic glimpse at substructural logics. In: Studies in logic and the foundations of mathematics, vol 151. Elsevier, Amsterdam.
Ginsberg ML (1988) Multivalued logics: A uniform approach to inference in artificial intelligence. Comput Intell 4: 265–316. doi:10.1111/j.1467-8640.1988.tb00280.x
Mobasher B, Pigozzi D, Slutzki G, Voutsadakis G (2000) A duality theory for bilattices. Algebra Universalis 43(2–3):109–125
Movsisyan YM, Romanowska AB, Smith JDH (2006) Superproducts, hyperidentities, and algebraic structures of logic programming. J Combin Math Combin Comput 58:101–111
Odintsov SP (2003) Algebraic semantics for paraconsistent Nelson’s logic. J Log Comput 13(4):453–468. doi:10.1093/logcom/13.4.453
Odintsov SP (2004) On the representation of N4-lattices. Studia Log 76(3):385–405. doi:10.1023/B:STUD.0000032104.14199.08
Odintsov SP (2009) On axiomatizing shramko-wansing’s logic. Studia Log 91(3):407–428. doi:10.1007/s11225-009-9181-6
Rivieccio U (2010) An algebraic study of bilattice-based logics. Ph.D. dissertation, University of Barcelona
Tsinakis C, Wille AM (2006) Minimal varieties of involutive residuated lattices. Studia Log 83(1–3):407–423. doi:10.1007/s11225-006-8311-7
Acknowledgments
The research of the first author was partially supported by grant 2009SGR-1433 of the AGAUR of the Generalitat de Catalunya and by grant MTM2008–01139 of the Spanish Ministerio de Ciencia e Innovación, which includes EU FEDER funds.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Jansana, R., Rivieccio, U. Residuated bilattices. Soft Comput 16, 493–504 (2012). https://doi.org/10.1007/s00500-011-0752-x
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-011-0752-x