Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(x²) = (2x)²

Studia Logica 83 (1-3):157 - 181 (2006)
  Copy   BIBTEX

Abstract

The aim of this paper is to give a description of the free algebras in some varieties of Glivenko MTL-algebras having the Boolean retraction property. This description is given (generalizing the results of [9]) in terms of weak Boolean products over Cantor spaces. We prove that in some cases the stalks can be obtained in a constructive way from free kernel DL-algebras, which are the maximal radical of directly indecomposable Glivenko MTL-algebras satisfying the equation in the title. We include examples to show how we can apply the results to describe free algebras in some well known varieties of involutive MTL-algebras and of pseudocomplemented MTL-algebras.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,783

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Decidability problem for finite Heyting algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.
The number of openly generated Boolean algebras.Stefan Geschke & Saharon Shelah - 2008 - Journal of Symbolic Logic 73 (1):151-164.
Free set algebras satisfying systems of equations.G. Aldo Antonelli - 1999 - Journal of Symbolic Logic 64 (4):1656-1674.

Analytics

Added to PP
2013-09-30

Downloads
29 (#549,529)

6 months
5 (#632,816)

Historical graph of downloads
How can I increase my downloads?