{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:54:57Z","timestamp":1725486897365},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540729174"},{"type":"electronic","value":"9783540729501"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-72950-1_46","type":"book-chapter","created":{"date-parts":[[2007,6,30]],"date-time":"2007-06-30T08:31:21Z","timestamp":1183192281000},"page":"461-470","source":"Crossref","is-referenced-by-count":0,"title":["Counting Finite Residuated Lattices"],"prefix":"10.1007","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","reference":[{"issue":"3","key":"46_CR1","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\u00a038(3), 235\u2013244 (2002)","journal-title":"Kybernetika"},{"key":"46_CR2","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. Plenum Publishers, New York (2002)"},{"key":"46_CR3","doi-asserted-by":"crossref","unstructured":"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\u00a0\u2013\u00a0FOCI \u201907, Honolulu, Hawaii, USA, 1\u20135 Apr. (2007)","DOI":"10.1109\/FOCI.2007.371527"},{"key":"46_CR4","doi-asserted-by":"publisher","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 and Systems\u00a0124, 271\u2013288 (2001)","journal-title":"Fuzzy Sets and Systems"},{"key":"46_CR5","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s001530050006","volume":"39","author":"F. Esteva","year":"2000","unstructured":"Esteva, F., Godo, L., H\u00e1jek, P., Navara, M.: Residuated fuzzy logics with an involutive negation. Arch. Math. Logic\u00a039, 103\u2013124 (2000)","journal-title":"Arch. Math. Logic"},{"key":"46_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9660-2","volume-title":"Fuzzy Logic. Mathematical Tools for Approximate Reasoning","author":"G. Gerla","year":"2001","unstructured":"Gerla, G.: Fuzzy Logic. Mathematical Tools for Approximate Reasoning. Kluwer, Dordrecht (2001)"},{"issue":"-9","key":"46_CR7","first-page":"325","volume":"18","author":"J.A. Goguen","year":"1968","unstructured":"Goguen, J.A.: The logic of inexact concepts. Synthese\u00a018(-9), 325\u2013373 (1968)","journal-title":"Synthese"},{"key":"46_CR8","volume-title":"General Lattice Theory","author":"G.A. Gratzer","year":"1998","unstructured":"Gratzer, G.A.: General Lattice Theory, 2nd edn. Birkh\u00e4user, Basel (1998)","edition":"2"},{"key":"46_CR9","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)"},{"key":"46_CR10","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1016\/S0165-0114(01)00103-8","volume":"124","author":"P. H\u00e1jek","year":"2001","unstructured":"H\u00e1jek, P.: On very true. Fuzzy Sets and Systems\u00a0124, 329\u2013333 (2001)","journal-title":"Fuzzy Sets and Systems"},{"issue":"1","key":"46_CR11","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1007\/PL00013837","volume":"48","author":"J. Heitzig","year":"2002","unstructured":"Heitzig, J., Reinhold, J.: Counting Finite Lattices. Algebra Universalis\u00a048(1), 43\u201353 (2002)","journal-title":"Algebra Universalis"},{"key":"46_CR12","doi-asserted-by":"publisher","first-page":"786","DOI":"10.1006\/jmaa.1996.0285","volume":"201","author":"U. H\u00f6hle","year":"1996","unstructured":"H\u00f6hle, U.: On the fundamentals of fuzzy set theory. J. Math. Anal. Appl.\u00a0201, 786\u2013826 (1996)","journal-title":"J. Math. Anal. Appl."},{"key":"46_CR13","unstructured":"Kure, M.: Computer-aided study of finite posets. UP Olomouc, MSc. thesis (2004)"},{"key":"46_CR14","volume-title":"Fuzzy Sets and Fuzzy Logic. Theory and Applications","author":"G.J. Klir","year":"1995","unstructured":"Klir, G.J., Yuan, B.: Fuzzy Sets and Fuzzy Logic. Theory and Applications. Prentice-Hall, Englewood Cliffs (1995)"},{"key":"46_CR15","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1037\/h0043158","volume":"63","author":"G.T. Miller","year":"1956","unstructured":"Miller, G.T.: The magical number seven, plus or minus two: some limits on our capacity for processing information. The Psychological Review\u00a063, 81\u201397 (1956)","journal-title":"The Psychological Review"},{"key":"46_CR16","doi-asserted-by":"crossref","unstructured":"Pavelka, J.: On fuzzy logic I, II, III. Z. Math. Logik Grundlagen Math. 25, 45\u201352, 119\u2013134, 447\u2013464 (1979)","DOI":"10.1002\/malq.19790252510"},{"issue":"15","key":"46_CR17","doi-asserted-by":"publisher","first-page":"2074","DOI":"10.1016\/j.fss.2006.03.022","volume":"157","author":"V. Vychodil","year":"2006","unstructured":"Vychodil, V.: Truth-depressing hedges and BL-logic. Fuzzy Sets and Systems\u00a0157(15), 2074\u20132090 (2006)","journal-title":"Fuzzy Sets and Systems"}],"container-title":["Lecture Notes in Computer Science","Foundations of Fuzzy Logic and Soft Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-72950-1_46.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T00:08:33Z","timestamp":1605744513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-72950-1_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540729174","9783540729501"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-72950-1_46","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}