{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T17:13:29Z","timestamp":1692119609612},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T00:00:00Z","timestamp":1445817600000},"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":["Informatik Spektrum"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1007\/s00287-015-0930-9","type":"journal-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T20:29:51Z","timestamp":1445891391000},"page":"533-542","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Formale Logiken f\u00fcr unscharfe Mengen"],"prefix":"10.1007","volume":"38","author":[{"given":"Siegfried","family":"Gottwald","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,10,26]]},"reference":[{"key":"930_CR1","doi-asserted-by":"crossref","unstructured":"B\u011bhounek B, Hanikov\u00e1 Z (2015) Set theory and arithmetic in fuzzy logic. In: F. Montagna (ed) Petr H\u00e1jek on Mathematical Fuzzy Logic, vol 6 of Outstanding Contributions to Logic, Springer Internat, Switzerland, pp 63\u201389","DOI":"10.1007\/978-3-319-06233-4_4"},{"key":"930_CR2","unstructured":"B\u011blohl\u00e1vek R, Vychodil V (2005) Fuzzy Equational Logic, vol 186 of Studies in Fuzzyness and Soft Computing, Springer, Berlin"},{"key":"930_CR3","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","volume":"4","author":"R Cignoli","year":"2000","unstructured":"Cignoli R, Esteva F, Godo L, Torrens A (2000) Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft Comput 4:106\u2013112","journal-title":"Soft Comput"},{"key":"930_CR4","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/j.fss.2009.09.006","volume":"161","author":"P Cintula","year":"2010","unstructured":"Cintula P, H\u00e1jek P (2010) Triangular norm based predicate fuzzy logics. Fuzzy Set Syst 161:311\u2013346","journal-title":"Fuzzy Set Syst"},{"key":"930_CR5","unstructured":"Cintula R, H\u00e1jek P, Noguera C (eds) (2011) Handbook of Mathematical Fuzzy Logic, vol 37\u201338 of Studies in Logic, College Publications, London"},{"key":"930_CR6","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 (2001) Monoidal t-norm based logic: toward a logic for left-continuous t-norms. Fuzzy Set Syst 124:271\u2013288","journal-title":"Fuzzy Set Syst"},{"key":"930_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-319-06233-4_1","volume-title":"Petr H\u00e1jek on Mathematical Fuzzy Logic, vol 6 of Outstanding Contributions to Logic","author":"F Esteva","year":"2015","unstructured":"Esteva F, Godo L, Gottwald S, and Montagna F (2015) Introduction. In: Montagna F (ed) Petr H\u00e1jek on Mathematical Fuzzy Logic, vol 6 of Outstanding Contributions to Logic. Springer Internat, Switzerland, pp 3\u201320"},{"key":"930_CR8","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1023\/B:STUD.0000032084.12744.e3","volume":"76","author":"F Esteva","year":"2004","unstructured":"Esteva F, Godo L, and Montagna F (2004) Equational characterization of the subvarieties of BL generated by t-norm algebras. Studia Logica 76:161\u2013200","journal-title":"Studia Logica"},{"key":"930_CR9","volume-title":"Residuated Lattices: An Algebraic Glimpse at Substructural Logics, vol 151 of Studies in Logic and the Foundations of Mathematics","author":"N Galatos","year":"2007","unstructured":"Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated Lattices: An Algebraic Glimpse at Substructural Logics, vol 151 of Studies in Logic and the Foundations of Mathematics. Elsevier, Amsterdam"},{"key":"930_CR10","doi-asserted-by":"crossref","unstructured":"Gerla G (2001) Fuzzy Logic. Mathematical Tools for Approximate Reasoning, vol 11 of Trends in Logic. Kluwer Academic Publishers","DOI":"10.1007\/978-94-015-9660-2"},{"key":"930_CR11","doi-asserted-by":"crossref","unstructured":"Goguen JA (1968\u201369) The logic of inexact concepts. Synthese 19:325\u2013373","DOI":"10.1007\/BF00485654"},{"key":"930_CR12","doi-asserted-by":"crossref","DOI":"10.1515\/9783050066257","volume-title":"Mehrwertige Logik. Logica Nova","author":"S Gottwald","year":"1989","unstructured":"Gottwald S (1989) Mehrwertige Logik. Logica Nova. Akademie-Verlag, Berlin"},{"key":"930_CR13","volume-title":"A Treatise on Many-Valued Logics, vol 9 of Studies in Logic and Computation","author":"S Gottwald","year":"2001","unstructured":"Gottwald S (2001) A Treatise on Many-Valued Logics, vol 9 of Studies in Logic and Computation. Research Studies Press, Baldock"},{"key":"930_CR14","doi-asserted-by":"crossref","first-page":"210","DOI":"10.2178\/bsl\/1208442828","volume":"14","author":"S Gottwald","year":"2008","unstructured":"Gottwald S (2008) Mathematical fuzzy logics. B Symb Log 14:210\u2013239","journal-title":"B Symb Log"},{"key":"930_CR15","doi-asserted-by":"crossref","first-page":"275","DOI":"10.1016\/B978-044451814-9\/50010-0","volume-title":"Logical, Algebraic, Analytic, and Probabilistic Aspects of Triangular Norms","author":"S Gottwald","year":"2005","unstructured":"Gottwald S and H\u00e1jek P (2005) T-norm based mathematical fuzzy logics. In: Klement EP, Mesiar R (eds) Logical, Algebraic, Analytic, and Probabilistic Aspects of Triangular Norms. Elsevier, Dordrecht, pp 275\u2013299"},{"key":"930_CR16","series-title":"Trends in Logic.","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 (1998) Metamathematics of Fuzzy Logic. Trends in Logic. 4. Kluwer Academic Publishers, Dordrecht"},{"key":"930_CR17","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 (2001) On very true. Fuzzy Set Syst 124:329\u2013333","journal-title":"Fuzzy Set Syst"},{"key":"930_CR18","unstructured":"H\u00e1jek P, Godo L, Esteva F (1995) Fuzzy logic and probability. In: Proceedings of the 11th Annual Conference on Uncertainty in Artificial Intelligence UAI \u201995, Montreal, pp 237\u2013244"},{"key":"930_CR19","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF01268618","volume":"35","author":"P H\u00e1jek","year":"1996","unstructured":"H\u00e1jek P, Godo L, Esteva F (1996) A complete many-valued logic with product-conjunction. Arch Math Logic 35:191\u2013208","journal-title":"Arch Math Logic"},{"key":"930_CR20","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1080\/0308107031000152522","volume":"32","author":"P H\u00e1jek","year":"2003","unstructured":"H\u00e1jek P, Nov\u00e1k V (2003) The sorites paradox and fuzzy logic. Int J Gen Syst 32:373\u2013383","journal-title":"Int J Gen Syst"},{"key":"930_CR21","doi-asserted-by":"crossref","first-page":"233","DOI":"10.1007\/978-3-322-86825-1_18","volume-title":"Fuzzy Systems in Computer Science, Artificial Intelligence","author":"U H\u00f6hle","year":"1994","unstructured":"H\u00f6hle U (1994) Monoidal logic. In: Kruse R, Gebhardt J, Palm R (eds) Fuzzy Systems in Computer Science, Artificial Intelligence. Verlag Vieweg, Wiesbaden, pp 233\u2013243"},{"key":"930_CR22","doi-asserted-by":"crossref","first-page":"786","DOI":"10.1006\/jmaa.1996.0285","volume":"201","author":"U H\u00f6hle","year":"1996","unstructured":"H\u00f6hle U (1996) On the fundamentals of fuzzy set theory. J Math Anal Appl 201:786\u2013826","journal-title":"J Math Anal Appl"},{"key":"930_CR23","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","author":"S Jenei","year":"2002","unstructured":"Jenei S, Montagna F (2002) A proof of standard completeness for Esteva and Godo\u2019s logic MTL. Studia Logica 70:183\u2013192","journal-title":"Studia Logica"},{"key":"930_CR24","first-page":"859","volume":"7","author":"D Klaua","year":"1965","unstructured":"Klaua D (1965) \u00dcber einen Ansatz zur mehrwertigen Mengenlehre. Monatsber Deutsch Akad Wiss Berlin 7:859\u2013867","journal-title":"Monatsber Deutsch Akad Wiss Berlin"},{"key":"930_CR25","first-page":"161","volume":"8","author":"D Klaua","year":"1966","unstructured":"Klaua D (1966) \u00dcber einen zweiten Ansatz zur mehrwertigen Mengenlehre. Monatsber Deutsch Akad Wiss Berlin 8:161\u2013177","journal-title":"Monatsber Deutsch Akad Wiss Berlin"},{"key":"930_CR26","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-9540-7","volume-title":"Triangular Norms","author":"EP Klement","year":"2000","unstructured":"Klement EP, Mesiar R, Pap E (2000) Triangular Norms. Kluwer Academic Publishers, Dordrecht"},{"key":"930_CR27","first-page":"209","volume-title":"Handbook of Mathematical Fuzzy Logic, vol. 1, vol 37 of Studies in Logic, chapter 3","author":"G Metcalfe","year":"2011","unstructured":"Metcalfe G (2011) Proof theory for mathematical fuzzy logic. In: Cintula P, H\u00e1jek P, Noguera C (eds) Handbook of Mathematical Fuzzy Logic, vol. 1, vol 37 of Studies in Logic, chapter 3. College Publ., London, pp 209\u2013282"},{"key":"930_CR28","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4020-9409-5","volume-title":"Proof Theory for Fuzzy Logics, vol 36 of Applied Logic Series","author":"G Metcalfe","year":"2009","unstructured":"Metcalfe G, Olivetti N, Gabbay D (2009) Proof Theory for Fuzzy Logics, vol 36 of Applied Logic Series. Springer, New York"},{"issue":"2","key":"930_CR29","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/j.fss.2004.03.027","volume":"149","author":"V Nov\u00e1k","year":"2005","unstructured":"Nov\u00e1k V (2005) On fuzzy type theory. Fuzzy Set Syst 149(2):235\u2013273","journal-title":"Fuzzy Set Syst"},{"key":"930_CR30","doi-asserted-by":"crossref","unstructured":"Nov\u00e1k V (2007) Mathematical fuzzy logic in modeling of natural language semantics. In: Fuzzy Logic, vol 215 of Stud. Fuzziness Soft Comput. Springer, Berlin, pp 135\u2013172","DOI":"10.1007\/978-3-540-71258-9_8"},{"issue":"22","key":"930_CR31","doi-asserted-by":"crossref","first-page":"2939","DOI":"10.1016\/j.fss.2008.02.023","volume":"159","author":"V Nov\u00e1k","year":"2008","unstructured":"Nov\u00e1k V (2008) A comprehensive theory of trichotomous evaluative linguistic expressions. Fuzzy Set Syst 159(22):2939\u20132969","journal-title":"Fuzzy Set Syst"},{"key":"930_CR32","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, Mockor J (1999) Mathematical Principles of Fuzzy Logic. Kluwer Acad. Publ., Boston\/Dordrecht\/London"},{"key":"930_CR33","first-page":"45","volume":"25","author":"J Pavelka","year":"1979","unstructured":"Pavelka J (1979) On fuzzy logic. I\u2013III. Zeitschr math Logik 25:45\u201352; 119\u2013134; 447\u2013464","journal-title":"Zeitschr math Logik"},{"key":"930_CR34","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1305\/ndjfl\/1039293019","volume":"39","author":"W Ruitenburg","year":"1998","unstructured":"Ruitenburg W (1998) Basic predicate calculus. Notre Dame J Formal Logic 39:18\u201346","journal-title":"Notre Dame J Formal Logic"},{"key":"930_CR35","volume-title":"Probabilistic Metric Spaces","author":"B Schweizer","year":"1983","unstructured":"Schweizer B, Sklar A (1983) Probabilistic Metric Spaces. North-Holland Publ. Comp., Amsterdam"},{"key":"930_CR36","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","volume":"8","author":"LA Zadeh","year":"1965","unstructured":"Zadeh LA (1965) Fuzzy sets. Inform Control 8:338\u2013353","journal-title":"Inform Control"},{"key":"930_CR37","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/0022-247X(68)90078-4","volume":"23","author":"LA Zadeh","year":"1968","unstructured":"Zadeh LA (1968) Probability measures for fuzzy events. J Math Anal Appl 23:421\u2013427","journal-title":"J Math Anal Appl"},{"key":"930_CR38","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","volume":"1","author":"LA Zadeh","year":"1978","unstructured":"Zadeh LA (1978) Fuzzy sets as a basis for a theory of possibility. Fuzzy Set Syst 1:3\u201328","journal-title":"Fuzzy Set Syst"}],"container-title":["Informatik-Spektrum"],"original-title":[],"language":"de","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-015-0930-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00287-015-0930-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00287-015-0930-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,15]],"date-time":"2023-08-15T16:41:05Z","timestamp":1692117665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00287-015-0930-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10,26]]},"references-count":38,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["930"],"URL":"https:\/\/doi.org\/10.1007\/s00287-015-0930-9","relation":{},"ISSN":["0170-6012","1432-122X"],"issn-type":[{"value":"0170-6012","type":"print"},{"value":"1432-122X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,10,26]]}}}