Abstract
In the present paper we continue the investigation of the lattice of subvarieties of the variety of \({\sqrt{\prime}}\) quasi-MV algebras, already started in [6]. Beside some general results on the structure of such a lattice, the main contribution of this work is the solution of a long-standing open problem concerning these algebras: namely, we show that the variety generated by the standard disk algebra D r is not finitely based, and we provide an infinite equational basis for the same variety.
Similar content being viewed by others
References
Bou F., Paoli F., Ledda A., Freytes H.: ‘On some properties of quasi-MV algebras and \({\sqrt{\prime}}\)quasi-MV algebras. Part II’. Soft Computing 12, 341–352 (2008)
Cignoli R., D’Ottaviano I.M.L., Mundici D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer, Dordrecht (1999)
Giuntini R., Ledda A., Paoli F.: ‘Expanding quasi-MV algebras by a quantum operator’. Studia Logica 87, 99–128 (2007)
Giuntini, R., A. Ledda, and F. Paoli, ‘Categorical equivalences for \({\sqrt{\prime}}\)quasi-MV algebras’, Journal of Logic and Computation, forthcoming.
Giuntini, R., A. Ledda, G. Sergioli, and F. Paoli, ‘Some generalisations of fuzzy structures in quantum computational logic’, International Journal of General Systems, forthcoming.
Kowalski, T., andF. Paoli, ‘On some properties of quasi-MV algebras and \({\sqrt{\prime}}\)quasi-MV algebras. Part III’, Reports on Mathematical Logic, forthcoming.
Lewin R., Sagastume M., Massey P.: ‘MV* algebras’. Logic Journal of the IGPL 12, 461–483 (2004)
McKenzie R.: ‘Equational bases and nonmodular lattice varieties’. Transactions of the American Mathematical Society 174, 1–43 (1972)
Paoli F., Ledda A., Giuntini R., Freytes H.: ‘On some properties of quasi-MV algebras and \({\sqrt{\prime}}\)quasi-MV algebras. Part I’. Reports on Mathematical Logic 44, 31–63 (2009)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kowalski, T., Paoli, F., Giuntini, R. et al. The Lattice of Subvarieties of \({\sqrt{\prime}}\) quasi-MV Algebras. Stud Logica 95, 37–61 (2010). https://doi.org/10.1007/s11225-010-9256-4
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-010-9256-4