Free Spectra of Linear Equivalential Algebras
Journal of Symbolic Logic 70 (4):1341 - 1358 (2005)
| Abstract | We construct the finitely generated free algebras and determine the free spectra of varieties of linear equivalential algebras and linear equivalential algebras of finite height corresponding. respectively, to the equivalential fragments of intermediate Gödel-Dummett logic and intermediate finite-valued logics of Gödel. Thus we compute the number of purely equivalential propositional formulas in these logics in n variables for an arbitrary n ∈ N. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | No categories specified (fix it) | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesJacek K. Kabziński (1982). Basic Properties of the Equivalence. Studia Logica 41 (1):17 - 40.
Katarzyna Słomczyńska (2005). Free Spectra of Linear Equivalential Algebras. Journal of Symbolic Logic 70 (4):1341-1358.
Janusz Czelakowski (1981). Equivalential Logics (I). Studia Logica 40 (3):227 - 236.
Burghard Herrmann (1997). Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator. Studia Logica 58 (2):305-323.
Burghard Herrmann (1996). Equivalential and Algebraizable Logics. Studia Logica 57 (2-3):419 - 436.
Antonio Di Nola, Revaz Grigolia & Giovanni Panti (1998). Finitely Generated Free MV-Algebras and Their Automorphism Groups. Studia Logica 61 (1):65-78.
Joel Berman & W. J. Blok (2004). Free Łukasiewicz and Hoop Residuation Algebras. Studia Logica 77 (2):153 - 180.
Fabio Bellissima (1986). Finitely Generated Free Heyting Algebras. Journal of Symbolic Logic 51 (1):152-165.
Antonio Di Nola, Revaz Grigolia & Giovanni Panti (1998). Finitely Generated Free MV-Algebras and Their Automorphism Groups. Studia Logica 61 (1):65 - 78.
H. A. Priestley (1995). Natural Dualities for Varieties Ofn-Valued Łukasiewicz Algebras. Studia Logica 54 (3):333 - 370.
Pilar Dellunde I. Clavé (2000). On Definability of the Equality in Classes of Algebras with an Equivalence Relation. Studia Logica 64 (3):345-353.
Pilar Dellunde I. Clavé (2000). On Definability of the Equality in Classes of Algebras with an Equivalence Relation. Studia Logica 64 (3):345 - 353.
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.
Jean A. Larson (1985). The Number of One-Generated Cylindric Set Algebras of Dimension Greater Than Two. Journal of Symbolic Logic 50 (1):59-71.
L. Peter Belluce, Revaz Grigolia & Ada Lettieri (2005). Representations of Monadic MV -Algebras. Studia Logica 81 (1):123 - 144.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2011-05-29Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
