Free łukasiewicz and hoop residuation algebras
Studia Logica 77 (2):153 - 180 (2004)
| Abstract | Hoop residuation algebras are the {, 1}-subreducts of hoops; they include Hilbert algebras and the {, 1}-reducts of MV-algebras (also known as Wajsberg algebras). The paper investigates the structure and cardinality of finitely generated free algebras in varieties of k-potent hoop residuation algebras. The assumption of k-potency guarantees local finiteness of the varieties considered. It is shown that the free algebra on n generators in any of these varieties can be represented as a union of n subalgebras, each of which is a copy of the {, 1}-reduct of the same finite MV-algebra, i.e., of the same finite product of linearly ordered (simple) algebras. The cardinality of the product can be determined in principle, and an inclusion-exclusion type argument yields the cardinality of the free algebra. The methods are illustrated by applying them to various cases, both known (varieties generated by a finite linearly ordered Hilbert algebra) and new (residuation reducts of MV-algebras and of hoops). | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,875 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesFabio Bellissima (1986). Finitely Generated Free Heyting Algebras. Journal of Symbolic Logic 51 (1):152-165.
C. J. Van Alten & J. G. Raftery (1999). The Finite Model Property for the Implicational Fragment of IPC Without Exchange and Contraction. Studia Logica 63 (2):213 - 222.
L. Peter Belluce, Revaz Grigolia & Ada Lettieri (2005). Representations of Monadic MV -Algebras. Studia Logica 81 (1):123 - 144.
H. A. Priestley (1995). Natural Dualities for Varieties Ofn-Valued Łukasiewicz Algebras. Studia Logica 54 (3):333 - 370.
Katarzyna Idziak & Pawel M. Idziak (1988). Decidability Problem for Finite Heyting Algebras. Journal of Symbolic Logic 53 (3):729-735.
Roberto Cignoli & Antoni Torrens Torrell (2006). Free Algebras in Varieties of Glivenko MTL-Algebras Satisfying the Equation 2(X2) = (2x). Studia Logica 83 (1-3):157 - 181.
W. J. Blok (1980). Pretabular Varieties of Modal Algebras. Studia Logica 39 (2-3):101 - 124.
Antonio Di Nola, Revaz Grigolia & Giovanni Panti (1998). Finitely Generated Free MV-Algebras and Their Automorphism Groups. Studia Logica 61 (1):65-78.
Antonio Di Nola, Revaz Grigolia & Giovanni Panti (1998). Finitely Generated Free MV-Algebras and Their Automorphism Groups. Studia Logica 61 (1):65 - 78.
P. Aglianò, I. M. A. Ferreirim & F. Montagna (2007). Basic Hoops: An Algebraic Study of Continuous T -Norms. Studia Logica 87 (1):73 - 98.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads2 ( #234,650 of 556,837 )Recent downloads (6 months)1 ( #64,847 of 556,837 )How can I increase my downloads? |
My notes
Discussion
