Counting Finite Residuated Lattices

  • Authors:
  • Radim Belohlavek;Vilem Vychodil

  • Affiliations:
  • Dept. Systems Science and Industrial Engineering, Binghamton University--SUNY, Binghamton, NY 13902, USA and Dept. Computer Science, Palacky University, Olomouc, Tomkova 40, CZ-779 00 Olomouc, Cze ...;Dept. Computer Science, Palacky University, Olomouc, Tomkova 40, CZ-779 00 Olomouc, Czech Republic

  • Venue:
  • IFSA '07 Proceedings of the 12th international Fuzzy Systems Association world congress on Foundations of Fuzzy Logic and Soft Computing
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.