{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:12:37Z","timestamp":1763467957742},"reference-count":33,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,2,5]],"date-time":"2010-02-05T00:00:00Z","timestamp":1265328000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2010,7]]},"DOI":"10.1007\/s11083-010-9143-7","type":"journal-article","created":{"date-parts":[[2010,2,4]],"date-time":"2010-02-04T07:47:16Z","timestamp":1265269636000},"page":"147-161","source":"Crossref","is-referenced-by-count":15,"title":["Residuated Lattices of Size \u2264 12"],"prefix":"10.1007","volume":"27","author":[{"given":"Radim","family":"Belohlavek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vilem","family":"Vychodil","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,2,5]]},"reference":[{"issue":"1","key":"9143_CR1","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/59287.59293","volume":"11","author":"H A\u00eft-Kaci","year":"1989","unstructured":"A\u00eft-Kaci, H., Boyer, R., Lincoln, P., Nasr, R.: Efficient implementation of lattice operations. ACM Trans. Program. Lang. Syst. 11(1), 115\u2013146 (1989)","journal-title":"ACM Trans. Program. Lang. Syst."},{"issue":"3","key":"9143_CR2","first-page":"235","volume":"38","author":"T Bartu\u0161ek","year":"2002","unstructured":"Bartu\u0161ek, T., Navara, M.: Program for generating fuzzy logical operations and its use in mathematical proofs. Kybernetika 38(3), 235\u2013244 (2002)","journal-title":"Kybernetika"},{"key":"9143_CR3","volume-title":"Lattice Theory","author":"G Birkhoff","year":"1967","unstructured":"Birkhoff, G.: Lattice Theory. Publ. AMS, Providence, RI (1967)"},{"key":"9143_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-0633-1","volume-title":"Fuzzy Relational Systems: Foundations and Principles","author":"R Belohlavek","year":"2002","unstructured":"Belohlavek, R.: Fuzzy Relational Systems: Foundations and Principles. Kluwer Academic\/Plenum Publishers, New York (2002)"},{"key":"9143_CR5","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1142\/S0218196703001511","volume":"13","author":"K Blount","year":"2003","unstructured":"Blount, K., Tsinakis, C.: The structure of residuated lattices. Int. J. Algebra Comput. 13, 437\u2013461 (2003)","journal-title":"Int. J. Algebra Comput."},{"key":"9143_CR6","volume-title":"A Basic Course on General Algebra","author":"I Chajda","year":"2000","unstructured":"Chajda, I., Glazek, K.: A Basic Course on General Algebra. Technical University Press, Zielona G\u00f3ra (2000)"},{"key":"9143_CR7","unstructured":"De Baets, B.: The number of linearly ordered abelian integral monoids of size n; the number of t-norms on an n-chain. The On-Line Encyclopedia of Integer Sequences (database entry A030453) (1999)"},{"key":"9143_CR8","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/S0165-0114(98)00259-0","volume":"104","author":"B Baets De","year":"1999","unstructured":"De Baets, B., Mesiar, R.: Triangular norms on product lattices. Fuzzy Sets Syst. 104, 61\u201375 (1999)","journal-title":"Fuzzy Sets Syst."},{"key":"9143_CR9","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1090\/S0002-9904-1938-06736-5","volume":"44","author":"RP Dilworth","year":"1938","unstructured":"Dilworth, R.P.: Abstract residuation over lattices. Bull. Am. Math. Soc. 44, 262\u2013268 (1938)","journal-title":"Bull. Am. Math. Soc."},{"key":"9143_CR10","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/BF00383446","volume":"8","author":"M Erne","year":"1991","unstructured":"Erne, M., Stege, K.: Counting finite posets and topologies. Order 8, 247\u2013265 (1991)","journal-title":"Order"},{"key":"9143_CR11","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","volume":"124","author":"F Esteva","year":"2001","unstructured":"Esteva, F., Godo, L.: Monoidal t-norm based logic: towards a logic for left-continuous t-norms. Fuzzy Sets Syst. 124, 271\u2013288 (2001)","journal-title":"Fuzzy Sets Syst."},{"key":"9143_CR12","doi-asserted-by":"crossref","unstructured":"Freese, R.S., Je\u017eek, J., Nation, J.B.: Free Lattices. Math. Surveys and Monographs, vol. 42. AMS (1995)","DOI":"10.1090\/surv\/042"},{"key":"9143_CR13","unstructured":"Galatos, N., Jipsen, P., Kowalski, T., Ono, H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier (2007)"},{"key":"9143_CR14","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0022-247X(67)90189-8","volume":"18","author":"JA Goguen","year":"1967","unstructured":"Goguen, J.A.: L-fuzzy sets. J. Math. Anal. Appl. 18, 145\u2013174 (1967)","journal-title":"J. Math. Anal. Appl."},{"key":"9143_CR15","first-page":"325","volume":"18","author":"JA Goguen","year":"1968\u20139","unstructured":"Goguen, J.A.: The logic of inexact concepts. Synthese 18, 325\u2013373 (1968\u20139)","journal-title":"Synthese"},{"key":"9143_CR16","volume-title":"A Treatise on Many-Valued Logics","author":"S Gottwald","year":"2001","unstructured":"Gottwald, S.: A Treatise on Many-Valued Logics. Research Studies Press, Beldock, England (2001)"},{"key":"9143_CR17","unstructured":"Gr\u00e4tzer, G.A.: General Lattice Theory, 2nd edn. Birkhauser (1998)"},{"key":"9143_CR18","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic. Kluwer, Dordrecht (1998)"},{"issue":"4","key":"9143_CR19","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1023\/A:1006431609027","volume":"17","author":"J Heitzig","year":"2000","unstructured":"Heitzig, J., Reinhold, J.: The number of unlabeled orders on fourteen elements. Order 17(4), 333\u2013341 (2000)","journal-title":"Order"},{"issue":"1","key":"9143_CR20","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/PL00013837","volume":"48","author":"J Heitzig","year":"2002","unstructured":"Heitzig, J., Reinhold, J.: Counting finite lattices. Algebra Univers. 48(1), 43\u201353 (2002)","journal-title":"Algebra Univers."},{"key":"9143_CR21","doi-asserted-by":"crossref","first-page":"786","DOI":"10.1006\/jmaa.1996.0285","volume":"201","author":"U H\u00f6hle","year":"1996","unstructured":"H\u00f6hle,\u00a0U.: On the fundamentals of fuzzy set theory. J. Math. Anal. Appl. 201, 786\u2013826 (1996)","journal-title":"J. Math. Anal. Appl."},{"key":"9143_CR22","unstructured":"Jipsen, P.: Small Residuated Lattices. http:\/\/www1.chapman.edu\/~jipsen\/gap\/rl.html"},{"key":"9143_CR23","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/978-1-4757-3627-4_3","volume-title":"Ordered Algebraic Structures","author":"P Jipsen","year":"2002","unstructured":"Jipsen, P., Tsinakis, C.: A survey of residuated lattices. In: Martinez, J. (ed.) Ordered Algebraic Structures, pp.\u00a019\u201356. Kluwer Academic Publishers, Dordrecht (2002)"},{"key":"9143_CR24","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1090\/S0002-9947-1975-0369090-9","volume":"205","author":"DJ Kleitman","year":"1975","unstructured":"Kleitman, D.J., Rothschild, B.L.: Asymptotic enumeration of partial orders on a finite set. Trans. Am. Math. Soc. 205, 205\u2013220 (1975)","journal-title":"Trans. Am. Math. Soc."},{"key":"9143_CR25","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/S0167-5060(08)70708-8","volume":"6","author":"DJ Kleitman","year":"1980","unstructured":"Kleitman, D.J., Winston, K.J.: The asymptotic number of lattices. Ann. Discrete Math. 6, 243\u2013249 (1980)","journal-title":"Ann. Discrete Math."},{"key":"9143_CR26","doi-asserted-by":"crossref","unstructured":"Klement, E.P., Mesiar, R., Pap, E.: Triangular Norms. Kluwer (2000)","DOI":"10.1007\/978-94-015-9540-7"},{"key":"9143_CR27","unstructured":"Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic. Theory and Applications. Prentice Hall (1995)"},{"issue":"145","key":"9143_CR28","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1090\/S0025-5718-1979-0514837-9","volume":"33","author":"S Kyuno","year":"1979","unstructured":"Kyuno, S.: An inductive algorithm to construct finite lattices. Math. Comput. 33(145), 409\u2013421 (1979)","journal-title":"Math. Comput."},{"key":"9143_CR29","unstructured":"Lygeros, N., Zimmermann, P.: Computation of P(14), the Number of Posets with 14 Elements: 1.338.193.159.771. http:\/\/www.lygeros.org\/Math\/poset.html"},{"key":"9143_CR30","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1037\/h0043158","volume":"63","author":"GT Miller","year":"1956","unstructured":"Miller, G.T.: The magical number seven, plus or minus two: some limits on our capacity for processing information. Psychol. Rev. 63, 81\u201397 (1956)","journal-title":"Psychol. Rev."},{"key":"9143_CR31","doi-asserted-by":"crossref","unstructured":"Pavelka, J.: On fuzzy logic I, II, III. Z. Math. Log. Grundl. Math. 25, 45\u201352, 119\u2013134, 447\u2013464 (1979)","DOI":"10.1002\/malq.19790252510"},{"key":"9143_CR32","unstructured":"The On-Line Encyclopedia of Integer Sequences. http:\/\/www.research.att.com\/~njas\/sequences\/"},{"key":"9143_CR33","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","volume":"45","author":"M Ward","year":"1939","unstructured":"Ward, M., Dilworth, R.P.: Residuated lattices. Trans. Am. Math. Soc. 45, 335\u2013354 (1939)","journal-title":"Trans. Am. Math. Soc."}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-010-9143-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11083-010-9143-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-010-9143-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T05:12:13Z","timestamp":1559365933000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11083-010-9143-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,2,5]]},"references-count":33,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,7]]}},"alternative-id":["9143"],"URL":"https:\/\/doi.org\/10.1007\/s11083-010-9143-7","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"value":"0167-8094","type":"print"},{"value":"1572-9273","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,2,5]]}}}