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.
Supported by grant No. 1ET101370417 of GA AV ČR, by grant No. 201/05/0079 of the Czech Science Foundation, and by institutional support, research plan MSM 6198959214.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Bartušek, T., Navara, M.: Program for generating fuzzy logical operations and its use in mathematical proofs. Kybernetika 38(3), 235–244 (2002)
Belohlavek, R.: Fuzzy Relational Systems: Foundations and Principles. Plenum Publishers, New York (2002)
Belohlavek, R., Vychodil, V.: Scales behind computational intelligence: exploring properties of finite lattices. To appear in Proc. 1st IEEE Symposium on Foundations of Comput. Intelligence – FOCI ’07, Honolulu, Hawaii, USA, 1–5 Apr. (2007)
Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets and Systems 124, 271–288 (2001)
Esteva, F., Godo, L., Hájek, P., Navara, M.: Residuated fuzzy logics with an involutive negation. Arch. Math. Logic 39, 103–124 (2000)
Gerla, G.: Fuzzy Logic. Mathematical Tools for Approximate Reasoning. Kluwer, Dordrecht (2001)
Goguen, J.A.: The logic of inexact concepts. Synthese 18(-9), 325–373 (1968)
Gratzer, G.A.: General Lattice Theory, 2nd edn. Birkhäuser, Basel (1998)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)
Hájek, P.: On very true. Fuzzy Sets and Systems 124, 329–333 (2001)
Heitzig, J., Reinhold, J.: Counting Finite Lattices. Algebra Universalis 48(1), 43–53 (2002)
Höhle, U.: On the fundamentals of fuzzy set theory. J. Math. Anal. Appl. 201, 786–826 (1996)
Kure, M.: Computer-aided study of finite posets. UP Olomouc, MSc. thesis (2004)
Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic. Theory and Applications. Prentice-Hall, Englewood Cliffs (1995)
Miller, G.T.: The magical number seven, plus or minus two: some limits on our capacity for processing information. The Psychological Review 63, 81–97 (1956)
Pavelka, J.: On fuzzy logic I, II, III. Z. Math. Logik Grundlagen Math. 25, 45–52, 119–134, 447–464 (1979)
Vychodil, V.: Truth-depressing hedges and BL-logic. Fuzzy Sets and Systems 157(15), 2074–2090 (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer Berlin Heidelberg
About this paper
Cite this paper
Belohlavek, R., Vychodil, V. (2007). Counting Finite Residuated Lattices. In: Melin, P., Castillo, O., Aguilar, L.T., Kacprzyk, J., Pedrycz, W. (eds) Foundations of Fuzzy Logic and Soft Computing. IFSA 2007. Lecture Notes in Computer Science(), vol 4529. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72950-1_46
Download citation
DOI: https://doi.org/10.1007/978-3-540-72950-1_46
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72917-4
Online ISBN: 978-3-540-72950-1
eBook Packages: Computer ScienceComputer Science (R0)