×

Canonical extensions of double quasioperator algebras: an algebraic perspective on duality for certain algebras with binary operations. (English) Zbl 1110.06015

Summary: The context for this paper is a class of distributive lattice expansions, called double quasioperator algebras (DQAs). The distinctive feature of these algebras is that their operations preserve or reverse both join and meet in each coordinate. Algebras of this type provide algebraic semantics for certain nonclassical propositional logics. In particular, MV-algebras, which model the Łukasiewicz infinite-valued logic, are DQAs.
Varieties of DQAs are here studied through their canonical extensions. A variety of this type having additional operations of arity at least 2 may fail to be canonical; it is already known, for example, that the variety of MV-algebras is not. Non-canonicity occurs when basic operations have two distinct canonical extensions and both are necessary to capture the structure of the original algebra. This obstruction to canonicity is different in nature from that customarily found in other settings. A generalized notion of canonicity is introduced which is shown to circumvent the problem. In addition, generalized canonicity allows one to capture on the canonical extensions of DQAs the algebraic operations in such a way that the laws that these obey may be translated into first-order conditions on suitable frames. This correspondence may be seen as the algebraic component of duality, in a way which is made precise.
In many cases of interest, binary residuated operations are present. An operation \(h\) which, coordinatewise, preserves \(\vee\) and 0 lifts to an operation which is residuated, even when \(h\) is not. If \(h\) also preserves binary meet then the upper adjoints behave in a functional way on the frames.

MSC:

06D50 Lattices and duality
06D35 MV-algebras
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Blackburn, P.; de Rijke, M.; Venema, Y., Modal Logic (2001), Cambridge University Press · Zbl 0988.03006
[2] Cignoli, R. L.O.; D’Ottavio, I. M.L.; Mundici, D., Algebraic Foundations of Many-valued Reasoning, (Trends in Logic, vol. 7 (2000), Kluwer Acad. Publ.) · Zbl 0937.06009
[3] Cornish, W. H., (Antimorphic Action. Categories of Algebraic Structures with Involutions or Anti-endomorphisms. Antimorphic Action. Categories of Algebraic Structures with Involutions or Anti-endomorphisms, R & E Research and Exposition in Mathematics, vol. 12 (1986), Heldermann Verlag: Heldermann Verlag Berlin) · Zbl 0609.18003
[4] Davey, B. A.; Priestley, H. A., Introduction to Lattices and Order (2002), Cambridge University Press · Zbl 1002.06001
[5] Dunn, J. M.; Gehrke, M.; Palmigiano, A., Canonical extensions of ordered algebraic structures and relational completeness of some substructural logics, J. Symbolic Logic, 70, 713-740 (2005) · Zbl 1101.03021
[6] Erné, M.; Koswlowski, J.; Melton, A.; Strecker, G. E., A primer on Galois connections, Ann. New York Acad. Sci., 704, 103-125 (1993) · Zbl 0809.06006
[7] M. Gehrke, Generalized Kripke frames, Studia Logica (in press); M. Gehrke, Generalized Kripke frames, Studia Logica (in press) · Zbl 1115.03013
[8] Gehrke, M.; Jónsson, B., Bounded distributive lattices with operators, Math. Japonica, 40, 207-215 (1994) · Zbl 0855.06009
[9] Gehrke, M.; Jónsson, B., Monotone bounded distributive lattice expansions, Math. Japonica, 52, 197-213 (2000) · Zbl 0972.06005
[10] Gehrke, M.; Jónsson, B., Bounded distributive lattice expansions, Math. Scand., 94, 13-45 (2004) · Zbl 1077.06008
[11] Gehrke, M.; Nagahashi, H.; Venema, Y., A Sahlqvist theorem for distributive modal logic, Ann. Pure Appl. Logic, 131, 65-102 (2005) · Zbl 1077.03009
[12] M. Gehrke, M.C. Palma, Duality theory for Semi-De Morgan algebras via canonical extensions (in draft; see also http://www.math.nmsu.edu/mgehrke/Tesesp.pdf; M. Gehrke, M.C. Palma, Duality theory for Semi-De Morgan algebras via canonical extensions (in draft; see also http://www.math.nmsu.edu/mgehrke/Tesesp.pdf
[13] Gehrke, M.; Priestley, H. A., Non-canonicity of MV-algebras, Houston J. Math., 28, 449-455 (2002) · Zbl 1060.06019
[14] Gehrke, M.; Priestley, H. A., Duality for distributive quasioperator algebras via their canonical extensions, (preprint) · Zbl 1127.06009
[15] Gehrke, M.; Walker, C.; Walker, E., (Fuzzy Logics Arising from Strict De Morgan Systems, Topological and Algebraic Structures. Fuzzy Logics Arising from Strict De Morgan Systems, Topological and Algebraic Structures, Trends Log. Stud. Log. Libr., vol. 20 (2003), Kluwer Acad. Publ.), 257-276 · Zbl 1055.03015
[16] Gierz, G.; Hofmann, K. H.; Keimel, K.; Lawson, J. D.; Mislove, M. W.; Scott, D. S., Continuous Lattices and Domains (2003), Cambridge University Press
[17] Gispert, J.; Mundici, D., MV-algebras: A variety for magnitudes with Archimedean units, Algebra Univ., 53, 7-43 (2005) · Zbl 1093.06010
[18] Goldblatt, R., Varieties of complex algebras, Ann. Pure Appl. Logic, 44, 173-242 (1989) · Zbl 0722.08005
[19] Jónsson, B.; Tarski, A., Boolean algebras with operators, I, Am. J. Math., 73, 891-939 (1951) · Zbl 0045.31505
[20] Martínez, N. G., A topological duality for some lattice-ordered algebraic structures including \(\ell \)-groups, Algebra Universalis, 31, 516-541 (1994) · Zbl 0822.06014
[21] Martínez, N. G.; Priestley, H. A., On Priestley spaces of some lattice-ordered algebraic structures, Order, 15, 297-323 (1998) · Zbl 0941.06012
[22] Priestley, H. A., Varieties of distributive lattices with unary operations I, J. Aust. Math. Soc. (Ser. A), 63, 165-207 (1997) · Zbl 0907.06008
[23] Priestley, H. A.; Santos, R., Dualities for varieties of distributive lattices with unary operations II, Port. Math., 55, 135-166 (1998) · Zbl 0912.06009
[24] Sofronie-Stokkermans, V., Representation theorems and the semantics of non-classical logics, and applications to automated theorem-proving, Beyond two: theory and applications of multiple-valued logic, Stud. Fuzziness Soft Comput., 114, 59-100 (2003) · Zbl 1042.03013
[25] Venema, Y., Canonical pseudo-correspondence, (Advances in Modal Logic, Vol. 2 (Uppsala, 1998). Advances in Modal Logic, Vol. 2 (Uppsala, 1998), CSLI Lecture Notes, vol. 119 (2001), CSLI Publ.: CSLI Publ. Stanford, CA), 421-430 · Zbl 0993.03022
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.