Name
Abstract | ||
|---|---|---|
We show that the variety of residuated lattices is generated by its finite simple members, improving upon a finite model property result of Okada and Term. The reasoning is a blend of proof-theoretic and algebraic arguments. |
Year | Venue | Field |
|---|---|---|
2000 | REPORTS ON MATHEMATICAL LOGIC | Discrete mathematics,Algebraic number,Algebra,Lattice (order),Map of lattices,Pure mathematics,Propositional calculus,Mathematics |
DocType | Volume | Issue |
Journal | 34 | 34.0 |
ISSN | Citations | PageRank |
0137-2904 | 11 | 1.65 |
References | Authors | |
2 | 2 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Tomasz Kowalski | 1 | 124 | 24.06 |
| H. Ono | 2 | 43 | 7.23 |