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.

• Type: Conference
• Year: 2007
• Where: IFSA
• Authors: Radim Belohlávek, Vilém Vychodil
• Keywords: Algorithm, Artificial Intelligence, IFSA 2007, finite Residuated Lattices