The Variety Of Residuated Lattices Is Generated By Its Finite Simple Members

&
Reports on Mathematical Logic:59-77 (2000)
  Copy   BIBTEX

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 Terui. The reasoning is a blend of proof-theoretic and algebraic arguments.

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Analytics

Added to PP
2015-02-12

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author Profiles

Hiroakira Ono
Japan Advanced Institute of Science and Technology
Tomasz Kowalski
La Trobe University

Citations of this work

On the structure of rotation-invariant semigroups.Sándor Jenei - 2003 - Archive for Mathematical Logic 42 (5):489-514.
Bounded BCK‐algebras and their generated variety.Joan Gispert & Antoni Torrens - 2007 - Mathematical Logic Quarterly 53 (2):206-213.

Add more citations

References found in this work

No references found.

Add more references