{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,21]],"date-time":"2025-04-21T04:09:44Z","timestamp":1745208584128,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642346194"},{"type":"electronic","value":"9783642346200"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34620-0_27","type":"book-chapter","created":{"date-parts":[[2012,11,7]],"date-time":"2012-11-07T01:24:31Z","timestamp":1352251471000},"page":"294-305","source":"Crossref","is-referenced-by-count":0,"title":["Simple Proof of Basic Theorem for General Concept Lattices by Cartesian Representation"],"prefix":"10.1007","author":[{"given":"Radim","family":"Belohlavek","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Konecny","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Petr","family":"Osicka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"27_CR1","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/S0020-7373(80)80055-1","volume":"12","author":"W. Bandler","year":"1980","unstructured":"Bandler, W., Kohout, L.J.: Semantics of implication operators and fuzzy relational products. Int. J. Man-Machine Studies\u00a012, 89\u2013116 (1980)","journal-title":"Int. J. Man-Machine Studies"},{"issue":"6","key":"27_CR2","doi-asserted-by":"publisher","first-page":"599","DOI":"10.1080\/03081079.2011.571438","volume":"40","author":"E. Bartl","year":"2011","unstructured":"Bartl, E., Belohlavek, R.: Sup-t-norm and inf-residuum are a single type of relational equations. Int. Journal of General Systems\u00a040(6), 599\u2013609 (2011)","journal-title":"Int. Journal of General Systems"},{"key":"27_CR3","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1002\/malq.19990450408","volume":"45","author":"R. Belohlavek","year":"1999","unstructured":"Belohlavek, R.: Fuzzy Galois connections. Math. Logic Quarterly\u00a045, 497\u2013504 (1999)","journal-title":"Math. Logic Quarterly"},{"issue":"1","key":"27_CR4","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1002\/1521-3870(200101)47:1<111::AID-MALQ111>3.0.CO;2-A","volume":"47","author":"R. Belohlavek","year":"2001","unstructured":"Belohlavek, R.: Lattices of fixed points of fuzzy Galois connections. Math. Logic Quarterly\u00a047(1), 111\u2013116 (2001)","journal-title":"Math. Logic Quarterly"},{"issue":"4","key":"27_CR5","doi-asserted-by":"crossref","first-page":"277","DOI":"10.3233\/FUN-2001-46401","volume":"46","author":"R. Belohlavek","year":"2001","unstructured":"Belohlavek, R.: Reduction and a simple proof of characterization of fuzzy concept lattices. Fundamenta Informaticae\u00a046(4), 277\u2013285 (2001)","journal-title":"Fundamenta Informaticae"},{"key":"27_CR6","doi-asserted-by":"publisher","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)"},{"issue":"1-3","key":"27_CR7","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.apal.2003.01.001","volume":"128","author":"R. Belohlavek","year":"2004","unstructured":"Belohlavek, R.: Concept lattices and order in fuzzy logic. Annals of Pure and Applied Logic\u00a0128(1-3), 277\u2013298 (2004)","journal-title":"Annals of Pure and Applied Logic"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Belohlavek, R.: Optimal decompositions of matrices with entries from residuated lattices. J. Logic and Computation (September 7, 2011), doi: 10.1093\/logcom\/exr023","DOI":"10.1093\/logcom\/exr023"},{"issue":"16","key":"27_CR9","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1016\/j.fss.2011.07.015","volume":"197","author":"R. Belohlavek","year":"2012","unstructured":"Belohlavek, R.: Sup-t-norm and inf-residuum are one type of relational product: unifying framework and consequences. Fuzzy Sets and Systems\u00a0197(16), 45\u201358 (2012)","journal-title":"Fuzzy Sets and Systems"},{"key":"27_CR10","unstructured":"Belohlavek, R., Vychodil, V.: What is a fuzzy concept lattice? In: Proc. CLA 2005, 3rd Int. Conference on Concept Lattices and Their Applications, pp. 34\u201345 (2005)"},{"issue":"5","key":"27_CR11","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1080\/03081079.2012.685936","volume":"41","author":"R. Belohlavek","year":"2012","unstructured":"Belohlavek, R., Vychodil, V.: Formal concept analysis and linguistic hedges. Int. J. General Systems\u00a041(5), 503\u2013532 (2012)","journal-title":"Int. J. General Systems"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Birkhoff, G.: Lattice Theory, vol.\u00a025. AMS Colloq. Publ. (1940)","DOI":"10.1090\/coll\/025"},{"key":"27_CR13","doi-asserted-by":"crossref","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order. Cambridge University Press (2002)","DOI":"10.1017\/CBO9780511809088"},{"key":"27_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59830-2","volume-title":"Formal Concept Analysis. Mathematical Foundations","author":"B. Ganter","year":"1999","unstructured":"Ganter, B., Wille, R.: Formal Concept Analysis. Mathematical Foundations. Springer, Berlin (1999)"},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"Gediga, G., D\u00fcntsch, I.: Modal-style operators in qualitative data analysis. In: Proc. IEEE ICDM 2002, pp. 155\u2013162 (2002)","DOI":"10.1109\/ICDM.2002.1183898"},{"key":"27_CR16","doi-asserted-by":"publisher","first-page":"1009","DOI":"10.1007\/s00153-004-0240-4","volume":"43","author":"G. Georgescu","year":"2004","unstructured":"Georgescu, G., Popescu, A.: Non-dual fuzzy connections. Archive for Mathematical Logic\u00a043, 1009\u20131039 (2004)","journal-title":"Archive for Mathematical Logic"},{"key":"27_CR17","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/0022-247X(67)90189-8","volume":"18","author":"J.A. Goguen","year":"1967","unstructured":"Goguen, J.A.: L-fuzzy sets. J. Math. Anal. Appl.\u00a018, 145\u2013174 (1967)","journal-title":"J. Math. Anal. Appl."},{"key":"27_CR18","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, Baldock (2001)"},{"key":"27_CR19","doi-asserted-by":"publisher","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":"27_CR20","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1016\/0020-0255(85)90004-0","volume":"37","author":"L.J. Kohout","year":"1985","unstructured":"Kohout, L.J., Bandler, W.: Relational-product architectures for information processing. Information Sciences\u00a037, 25\u201337 (1985)","journal-title":"Information Sciences"},{"key":"27_CR21","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/s005000100146","volume":"6","author":"L.J. Kohout","year":"2002","unstructured":"Kohout, L.J., Kim, E.: The role of BK-products of relations in soft computing. Soft Computing\u00a06, 92\u2013115 (2002)","journal-title":"Soft Computing"},{"key":"27_CR22","unstructured":"Kraj\u010di, S.: The basic theorem on generalized concept lattices. In: Proc. CLA 2004, pp. 25\u201333 (2004)"},{"key":"27_CR23","doi-asserted-by":"publisher","first-page":"543","DOI":"10.1093\/jigpal\/jzi045","volume":"13","author":"S. Kraj\u010di","year":"2005","unstructured":"Kraj\u010di, S.: A generalized concept lattice. Logic J. of IGPL\u00a013, 543\u2013550 (2005)","journal-title":"Logic J. of IGPL"},{"key":"27_CR24","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1016\/j.fss.2008.05.004","volume":"160","author":"J. Medina","year":"2009","unstructured":"Medina, J., Ojeda-Aciego, M., Ruiz-Clavi\u00f1o, J.: Formal concept analysis via multi-adjoint concept lattices. Fuzzy Sets and Systems\u00a0160, 130\u2013144 (2009)","journal-title":"Fuzzy Sets and Systems"},{"key":"27_CR25","doi-asserted-by":"publisher","first-page":"647","DOI":"10.1016\/j.fss.2005.10.018","volume":"157","author":"N.N. Morsi","year":"2006","unstructured":"Morsi, N.N., Lotfallah, W., El-Zekey, M.S.: The logic of tied implications, part 1: Properties, applications and representation; part 2: Syntax. Fuzzy Sets and Systems\u00a0157, 647\u2013669, 2030\u20132057 (2006)","journal-title":"Fuzzy Sets and Systems"},{"key":"27_CR26","doi-asserted-by":"crossref","first-page":"493","DOI":"10.1090\/S0002-9947-1944-0010555-7","volume":"55","author":"O. Ore","year":"1944","unstructured":"Ore, O.: Galois connexions. Trans. Amer. Math. Soc.\u00a055, 493\u2013513 (1944)","journal-title":"Trans. Amer. Math. Soc."},{"key":"27_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-60460-7","volume-title":"Fuzzy Begriffe","author":"S. Pollandt","year":"1997","unstructured":"Pollandt, S.: Fuzzy Begriffe. Springer, Berlin (1997)"},{"key":"27_CR28","doi-asserted-by":"publisher","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.\u00a0Amer. Math. Soc.\u00a045, 335\u2013354 (1939)","journal-title":"Trans.\u00a0Amer. Math. Soc."},{"key":"27_CR29","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"L.A. Zadeh","year":"1965","unstructured":"Zadeh, L.A.: Fuzzy sets. Information and Control\u00a08, 338\u2013353 (1965)","journal-title":"Information and Control"}],"container-title":["Lecture Notes in Computer Science","Modeling Decisions for Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34620-0_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T10:04:56Z","timestamp":1745143496000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34620-0_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642346194","9783642346200"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34620-0_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}