Completions of GBL-algebras: negative results

Abstract.We provide a simple sufficient criterion to show that a given variety of GBL-algebras does not admit (local) completions. As corollaries, we obtain that no variety of GBL-algebras containing Chang’s chain, no nontrivial variety of ℓ-groups, nor the variety of product algebras admit completions. The first result strengthens a result of Gehrke and Priestley.

[1]  Mai Gehrke,et al.  NON-CANONICITY OF MV-ALGEBRAS , 2002 .

[2]  Xiaoping Wang.  The McKinsey Axiom Is Not Compact , 1992, J. Symb. Log..

[3]  C. Tsinakis,et al.  Generalized MV-algebras , 2005 .

[4]  C. Tsinakis,et al.  Cancellative residuated lattices , 2003 .

[5]  R. P. Dilworth,et al.  Residuated Lattices. , 1938, Proceedings of the National Academy of Sciences of the United States of America.

[6]  P. Conrad.  Free lattice-ordered groups , 1970 .

[7]  M. Gehrke,et al.  Bounded Lattice Expansions , 2001 .

[8]  Peter Jipsen,et al.  Residuated lattices: An algebraic glimpse at sub-structural logics , 2007 .

[9]  Frank Wolter,et al.  Properties of Tense Logics , 1996, Math. Log. Q..

[10]  C. Tsinakis,et al.  A Survey of Residuated Lattices , 2002 .

[11]  D. Mundici.  Mapping abelian l-groups with strong unit one-one into MV algebras , 1986 .

[12]  Timothy J. Surendonk,et al.  Canonicity for Intensional Logics with Even Axioms , 2001, Journal of Symbolic Logic.

[13]  Robert Goldblatt.  The McKinsey Axiom Is Not Canonical , 1991, J. Symb. Log..

[14]  Yde Venema,et al.  MacNeille completions and canonical extensions , 2005 .

[15]  Tadeusz Litak,et al.  An algebraic approach to incompleteness in modal logic , 2005 .

[16]  C. Chang,et al.  Algebraic analysis of many valued logics , 1958 .

[17]  H. Ono.  Substructural Logics and Residuated Lattices — an Introduction , 2003 .

[18]  Yde Venema,et al.  Algebras and coalgebras , 2007, Handbook of Modal Logic.

[19]  Petr Hájek,et al.  Metamathematics of Fuzzy Logic , 1998, Trends in Logic.

[20]  D. Mundici,et al.  Algebraic Foundations of Many-Valued Reasoning , 1999 .

[21]  Yde Venema,et al.  MacNeille completions of lattice expansions , 2007 .