{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,30]],"date-time":"2022-03-30T19:27:40Z","timestamp":1648668460533},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"7-8","license":[{"start":{"date-parts":[[2015,7,10]],"date-time":"2015-07-10T00:00:00Z","timestamp":1436486400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Arch. Math. Logic"],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1007\/s00153-015-0440-0","type":"journal-article","created":{"date-parts":[[2015,7,9]],"date-time":"2015-07-09T07:40:34Z","timestamp":1436427634000},"page":"785-802","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["A logic of graded attributes"],"prefix":"10.1007","volume":"54","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":[[2015,7,10]]},"reference":[{"issue":"5","key":"440_CR1","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1145\/1060710.1060718","volume":"48","author":"S. Abiteboul","year":"2005","unstructured":"Abiteboul S. et\u00a0al.: The Lowell database research self-assessment. Commun. ACM 48(5), 111\u2013118 (2005)","journal-title":"Commun. ACM"},{"key":"440_CR2","doi-asserted-by":"crossref","unstructured":"Armstrong, W.W.: Dependency structures in data base relationships. IFIP Congress, Geneva, Switzerland, pp. 580\u2013583 (1974)","DOI":"10.1515\/9783110840308-026"},{"key":"440_CR3","first-page":"45","volume":"3874","author":"R. Belohlavek","year":"2006","unstructured":"Belohlavek R., Vychodil V.: Attribute implications in a fuzzy setting. Lect. Notes Artif. Intell. 3874, 45\u201360 (2006)","journal-title":"Lect. Notes Artif. Intell."},{"issue":"5","key":"440_CR4","doi-asserted-by":"crossref","first-page":"851","DOI":"10.1093\/logcom\/exp056","volume":"21","author":"R. Belohlavek","year":"2011","unstructured":"Belohlavek R., Vychodil V.: Codd\u2019s relational model from the point of view of fuzzy logic. J. Logic Comput. 21(5), 851\u2013862 (2011)","journal-title":"J. Logic Comput."},{"key":"440_CR5","unstructured":"Belohlavek, R., Vychodil, V.: Attribute dependencies for data with grades (submitted, arXiv:1402.2071 [cs.LO])."},{"key":"440_CR6","doi-asserted-by":"crossref","DOI":"10.1002\/0470011297","volume-title":"Concept Data Analysis: Theory and Applications","author":"C. Carpineto","year":"2004","unstructured":"Carpineto C., Romano G.: Concept Data Analysis: Theory and Applications. Wiley, New Jersey (2004)"},{"key":"440_CR7","unstructured":"Cintula, P., H\u00e1jek, P., Noguera, C.: Handbook of Mathematical Fuzzy Logic, vol. I, II, College Publ., London 2011 (vols. 37 and 38 of series Studies in Logic)"},{"key":"440_CR8","unstructured":"Esteva, F., Godo, L., Marchioni, E.: Fuzzy logics with enriched language. In [7], vol. II, pp. 627\u2013711"},{"issue":"6","key":"440_CR9","doi-asserted-by":"crossref","first-page":"543","DOI":"10.1147\/rd.216.0534","volume":"21","author":"R. Fagin","year":"1977","unstructured":"Fagin R.: Functional dependencies in a relational database and propositional logic. IBM J. Res. Dev. 21(6), 543\u2013544 (1977)","journal-title":"IBM J. Res. Dev."},{"issue":"2","key":"440_CR10","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/565117.565143","volume":"31","author":"R. Fagin","year":"2002","unstructured":"Fagin R.: Combining fuzzy information: an overview. SIGMOD Rec 31(2), 109\u2013118 (2002)","journal-title":"SIGMOD Rec"},{"key":"440_CR11","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics","author":"N. Galatos","year":"2007","unstructured":"Galatos N., Jipsen P., Kowalski T., Ono H.: Residuated Lattices: An Algebraic Glimpse at Substructural Logics. Elsevier, New York (2007)"},{"key":"440_CR12","doi-asserted-by":"crossref","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)"},{"issue":"1\u20132","key":"440_CR13","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0004-3702(94)90102-3","volume":"70","author":"G. Gerla","year":"1994","unstructured":"Gerla G.: Inferences in probability logic. Artif. Intell. 70(1\u20132), 33\u201352 (1994)","journal-title":"Artif. Intell."},{"key":"440_CR14","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)"},{"key":"440_CR15","doi-asserted-by":"crossref","unstructured":"Goguen, J.A.: The logic of inexact concepts. Synthese 18, 325\u2013373 (1968\u20131969)","DOI":"10.1007\/BF00485654"},{"key":"440_CR16","unstructured":"Gottwald, S.: A Treatise on Many-Valued Logic. Studies in Logic and Computation, vol. 9, Research Studies Press: Baldock, Hertfordshire, England (2001)"},{"key":"440_CR17","doi-asserted-by":"crossref","first-page":"210","DOI":"10.2178\/bsl\/1208442828","volume":"14","author":"S. Gottwald","year":"2008","unstructured":"Gottwald S.: Mathematical fuzzy logics. Bull. Symb. Logic 14, 210\u2013239 (2008)","journal-title":"Bull. Symb. Logic"},{"key":"440_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)"},{"key":"440_CR19","doi-asserted-by":"crossref","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 Syst. 124, 329\u2013333 (2001)","journal-title":"Fuzzy Sets Syst."},{"key":"440_CR20","volume-title":"The Theory of Relational Databases","author":"D. Maier","year":"1983","unstructured":"Maier D.: The Theory of Relational Databases. Computer Science Press, Rockville (1983)"},{"key":"440_CR21","doi-asserted-by":"crossref","unstructured":"Mayor G., Torrens J.: Triangular norms on discrete settings. In: Klement, E.P., Mesiar, R. (eds) Logical, Algebraic, Analytic and Probabilistic Aspects of Triangular Norms, pp. 189\u2013230. Elsevier, New York (2005)","DOI":"10.1016\/B978-044451814-9\/50007-0"},{"key":"440_CR22","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4615-5217-8","volume-title":"Mathematical Principles of Fuzzy Logic","author":"V. Nov\u00e1k","year":"1999","unstructured":"Nov\u00e1k V., Perfilieva I., Mo\u010dko\u0159 J.: Mathematical Principles of Fuzzy Logic. Kluwer, Dodrecht (1999)"},{"key":"440_CR23","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":"2","key":"440_CR24","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1145\/42338.42344","volume":"13","author":"K.V.S.V.N. Raju","year":"1988","unstructured":"Raju K.V.S.V.N., Majumdar A.K.: Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems. ACM Trans. Database Syst. 13(2), 129\u2013166 (1988)","journal-title":"ACM Trans. Database Syst."},{"key":"440_CR25","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0168-0072(87)90081-9","volume":"33","author":"G. Takeuti","year":"1987","unstructured":"Takeuti G., Titani S.: Globalization of intuitionistic set theory. Ann. Pure Appl. Logic 33, 195\u2013211 (1987)","journal-title":"Ann. Pure Appl. Logic"},{"issue":"2","key":"440_CR26","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1016\/j.fss.2004.06.005","volume":"151","author":"B.K. Tyagi","year":"2005","unstructured":"Tyagi B.K., Sharfuddin A., Dutta R.N., Tayal D.K.: A complete axiomatization of fuzzy functional dependencies using fuzzy function. Fuzzy Sets Syst. 151(2), 363\u2013379 (2005)","journal-title":"Fuzzy Sets Syst."},{"issue":"4","key":"440_CR27","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1109\/2.53","volume":"21","author":"L.A. Zadeh","year":"1988","unstructured":"Zadeh L.A.: Fuzzy Logic. IEEE Comput. 21(4), 83\u201393 (1988)","journal-title":"IEEE Comput."},{"issue":"3","key":"440_CR28","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1145\/175247.175255","volume":"37","author":"L.A. Zadeh","year":"1994","unstructured":"Zadeh L.A.: Fuzzy logic, neural networks, and soft computing. Commun. ACM 37(3), 77\u201384 (1994)","journal-title":"Commun. ACM"},{"key":"440_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-46027-6","volume-title":"Association Rule Mining. Models and Algorithms","author":"C. Zhang","year":"2002","unstructured":"Zhang C., Zhang S.: Association Rule Mining. Models and Algorithms. Springer, Berlin (2002)"}],"container-title":["Archive for Mathematical Logic"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0440-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00153-015-0440-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00153-015-0440-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,28]],"date-time":"2019-08-28T03:24:19Z","timestamp":1566962659000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00153-015-0440-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,10]]},"references-count":29,"journal-issue":{"issue":"7-8","published-print":{"date-parts":[[2015,11]]}},"alternative-id":["440"],"URL":"https:\/\/doi.org\/10.1007\/s00153-015-0440-0","relation":{},"ISSN":["0933-5846","1432-0665"],"issn-type":[{"value":"0933-5846","type":"print"},{"value":"1432-0665","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,7,10]]}}}