The variety of residuated lattices is generated by its finite simple members
Tomasz Kowalski, Hiroakira Ono · Institutional Repositories DataBase (IRDB) · 2000
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 Terui. The reasoning is a blend of proof-theoretic and algebraic arguments.