Residuated Lattices of Size <= 12

Abstract

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

Topics

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} }