Sciweavers

IFSA
2007
Springer

Counting Finite Residuated Lattices

13 years 10 months ago
Counting Finite Residuated Lattices
We study finite residuated lattices with up to 11 elements. We present an algorithm for generating all non-isomorphic finite residuated lattices with a given number of elements. Furthermore, we analyze selected properties of all the lattices generated by our algorithm and present summarizing statistics.
Radim Belohlávek, Vilém Vychodil
Added 08 Jun 2010
Updated 08 Jun 2010
Type Conference
Year 2007
Where IFSA
Authors Radim Belohlávek, Vilém Vychodil
Comments (0)