Studia Logica 45 (3):275 - 280 (1986)
| Abstract |
Let S denote the variety of Sugihara algebras. We prove that the lattice (K) of subquasivarieties of a given quasivariety K S is finite if and only if K is generated by a finite set of finite algebras. This settles a conjecture by Tokarz [6]. We also show that the lattice (S) is not modular.
|
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1007/BF00375898 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
Algebraic Completeness Results for R-Mingle and its Extensions.J. Michael Dunn - 1970 - Journal of Symbolic Logic 35 (1):1-13.
Algebraic Completeness Results for R-Mingle and its Extensions.J. Michael Dunn - 1970 - Journal of Symbolic Logic 35 (1):1-13.
Citations of this work BETA
Algebraic Logic for Classical Conjunction and Disjunction.Josep M. Font & Ventura Verdú - 1991 - Studia Logica 50 (3-4):391 - 419.
A Deduction Theorem Schema for Deductive Systems of Propositional Logics.Janusz Czelakowski & Wies?aw Dziobiak - 1991 - Studia Logica 50 (3-4):385 - 390.
Deduction Theorems Within RM and Its Extensions.J. Czelakowski & W. Dziobiak - 1999 - Journal of Symbolic Logic 64 (1):279-290.
There Exists an Uncountable Set of Pretabular Extensions of the Relevant Logic R and Each Logic of This Set is Generated by a Variety of Finite Height.Kazimierz Swirydowicz - 2008 - Journal of Symbolic Logic 73 (4):1249-1270.
View all 7 citations / Add more citations
Similar books and articles
On Certain Quasivarieties of Quasi-MV Algebras.A. Ledda, T. Kowalski & F. Paoli - 2011 - Studia Logica 98 (1-2):149-174.
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.
Dominions in Quasivarieties of Universal Algebras.Alexander Budkin - 2004 - Studia Logica 78 (1-2):107 - 127.
Birkhoff-Like Sheaf Representation for Varieties of Lattice Expansions.Hector Gramaglia & Diego Vaggione - 1996 - Studia Logica 56 (1-2):111 - 131.
Concerning Axiomatizability of the Quasivariety Generated by a Finite Heyting or Topological Boolean Algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Analytics
Added to PP index
2009-01-28
Total views
24 ( #409,109 of 2,333,198 )
Recent downloads (6 months)
1 ( #587,885 of 2,333,198 )
2009-01-28
Total views
24 ( #409,109 of 2,333,198 )
Recent downloads (6 months)
1 ( #587,885 of 2,333,198 )
How can I increase my downloads?
Downloads
