Residuated Lattices of Size <= 12


We present the numbers of all non-isomorphic residuated lattices with up to 12 elements and a link to a database of these lattices. In addition, we explore various characteristics of these lattices such as the width, length, and various properties considered in the literature and provide the corresponding statistics. We also present algorithms for computing… (More)
DOI: 10.1007/s11083-010-9143-7


12 Figures and Tables

Cite this paper

@article{Belohlvek2010ResiduatedLO, title={Residuated Lattices of Size <= 12}, author={Radim Belohl{\'a}vek and Vil{\'e}m Vychodil}, journal={Order}, year={2010}, volume={27}, pages={147-161} }