Studia Logica 89 (1):19-35 (2008)
| Abstract |
It has been recently shown [4] that the lattice effect algebras can be treated as a subvariety of the variety of so-called basic algebras. The open problem whether all subdirectly irreducible distributive lattice effect algebras are just subdirectly irreducible MV-chains and the horizontal sum of two 3-element chains is in the paper transferred into a more tractable one. We prove that modulo distributive lattice effect algebras, the variety generated by MV-algebras and is definable by three simple identities and the problem now is to check if these identities are satisfied by all distributive lattice effect algebras or not.
|
| Keywords | Philosophy Computational Linguistics Mathematical Logic and Foundations Logic |
| Categories | (categorize this paper) |
| DOI | 10.1007/s11225-008-9115-8 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Effect Algebras and Unsharp Quantum Logics.D. J. Foulis & M. K. Bennett - 1994 - Foundations of Physics 24 (10):1331-1352.
Citations of this work BETA
No citations found.
Similar books and articles
Subvarieties of BL-Algebras Generated by Single-Component Chains.Antonio Di Nola, Francesc Esteva, Pere Garcia, Lluís Godo & Salvatore Sessa - 2002 - Archive for Mathematical Logic 41 (7):673-685.
The Variety Generated by All the Ordinal Sums of Perfect MV-Chains.Matteo Bianchi - 2013 - Studia Logica 101 (1):11-29.
The Lattice of Subvarieties of $${\sqrt{\prime}}$$ Quasi-MV Algebras.T. Kowalski, F. Paoli, R. Giuntini & A. Ledda - 2010 - Studia Logica 95 (1-2):37-61.
The Lattice of Subvarieties of √′ Quasi-MV Algebras.T. Kowalski, F. Paoli, R. Giuntini & A. Ledda - 2010 - Studia Logica 95 (1-2):37 - 61.
On the Lattice of Quasivarieties of Sugihara Algebras.W. J. Blok & W. Dziobiak - 1986 - Studia Logica 45 (3):275 - 280.
Varieties of Three-Values Heyting Algebras with a Quantifier.Manuel Abad, J. P. Diaz Varela & L. A. Rueda - 2000 - Studia Logica 65 (2):181-198.
Varieties of Three-Valued Heyting Algebras with a Quantifier.M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz - 2000 - Studia Logica 65 (2):181-198.
Effect Algebras with the Riesz Decomposition Property and AF C*-Algebras.Sylvia Pulmannova - 1999 - Foundations of Physics 29 (9):1389-1401.
On the Variety of M -Generalized Łukasiewicz Algebras of Order N.Júlia Vaz de Carvalho - 2010 - Studia Logica 94 (2):291-305.
On the Variety of M-Generalized Łukasiewicz Algebras of Order N.Júlia Carvalho - 2010 - Studia Logica 94 (2):291-305.
Bounded BCK‐Algebras and Their Generated Variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.
Basic Hoops: An Algebraic Study of Continuous T -Norms.P. Aglianò, I. M. A. Ferreirim & F. Montagna - 2007 - Studia Logica 87 (1):73 - 98.
Logical Connectives on Lattice Effect Algebras.D. J. Foulis & S. Pulmannová - 2012 - Studia Logica 100 (6):1291-1315.
Decomposability of Free Łukasiewicz Implication Algebras.Jose Patricio Díaz Varela & Antoni Torrens Torrell - 2006 - Archive for Mathematical Logic 45 (8):1011-1020.
Analytics
Added to PP index
2009-01-28
Total views
46 ( #244,128 of 2,499,007 )
Recent downloads (6 months)
1 ( #421,180 of 2,499,007 )
2009-01-28
Total views
46 ( #244,128 of 2,499,007 )
Recent downloads (6 months)
1 ( #421,180 of 2,499,007 )
How can I increase my downloads?
Downloads
