{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:28:16Z","timestamp":1759638496635,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662556641"},{"type":"electronic","value":"9783662556658"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55665-8_1","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T15:01:02Z","timestamp":1503500462000},"page":"3-16","source":"Crossref","is-referenced-by-count":3,"title":["A Logical Framework for Graded Predicates"],"prefix":"10.1007","author":[{"given":"Petr","family":"Cintula","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carles","family":"Noguera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicholas J. J.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"key":"1_CR1","unstructured":"B\u011bhounek, L.: In which sense is fuzzy logic a logic for vagueness? In: Lukasiewicz, T., Pe\u00f1aloza, R., Turhan, A.Y. (eds.) Proceedings of the First Workshop on Logics for Reasoning about Preferences, Uncertainty, and Vagueness (PRUV 2014), Vienna, pp. 26\u201339 (2014)"},{"issue":"5","key":"1_CR2","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1016\/j.fss.2005.10.005","volume":"157","author":"L B\u011bhounek","year":"2006","unstructured":"B\u011bhounek, L., Cintula, P.: Fuzzy logics as the logics of chains. Fuzzy Sets Syst. 157(5), 604\u2013610 (2006)","journal-title":"Fuzzy Sets Syst."},{"key":"1_CR3","unstructured":"Blok, W.J., Pigozzi, D.L.: Algebraizable Logics, Memoirs of the American Mathematical Society, vol. 396. American Mathematical Society, Providence (1989). http:\/\/orion.math.iastate.edu\/dpigozzi\/"},{"key":"1_CR4","doi-asserted-by":"crossref","unstructured":"Casari, E.: Comparative logics and Abelian $$\\ell $$ \u2113 -groups. In: Logic Colloquium 1988, Padova. Studies in Logic and the Foundations of Mathematics, vol. 127, pp. 161\u2013190. North-Holland, Amsterdam (1989)","DOI":"10.1016\/S0049-237X(08)70269-6"},{"issue":"2","key":"1_CR5","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.: Basic fuzzy logic is the logic of continuous t-norms and their residua. Soft. Comput. 4(2), 106\u2013112 (2000)","journal-title":"Soft. Comput."},{"key":"1_CR6","unstructured":"Cintula, P., Ferm\u00fcller, C.G., H\u00e1jek, P., Noguera, C. (eds.): Handbook of Mathematical Fuzzy Logic (in three volumes). Studies in Logic, Mathematical Logic and Foundations, vols. 37, 38, and 58. College Publications (2011, 2015)"},{"issue":"3","key":"1_CR7","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1017\/S1755020313000099","volume":"6","author":"P Cintula","year":"2013","unstructured":"Cintula, P., Hor\u010d\u00edk, R., Noguera, C.: Non-associative substructural logics and their semilinear extensions: axiomatization and completeness properties. Rev. Symbolic Logic 6(3), 394\u2013423 (2013)","journal-title":"Rev. Symbolic Logic"},{"key":"1_CR8","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-319-06233-4_12","volume-title":"Petr H\u00e1jek on Mathematical Fuzzy Logic","author":"P Cintula","year":"2015","unstructured":"Cintula, P., Hor\u010d\u00edk, R., Noguera, C.: The quest for the basic fuzzy logic. In: Montagna, F. (ed.) Petr H\u00e1jek on Mathematical Fuzzy Logic. OCL, vol. 6, pp. 245\u2013290. Springer, Cham (2015). doi: 10.1007\/978-3-319-06233-4_12"},{"issue":"4","key":"1_CR9","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1007\/s00153-010-0178-7","volume":"49","author":"P Cintula","year":"2010","unstructured":"Cintula, P., Noguera, C.: Implicational (semilinear) logics I: a new hierarchy. Arch. Math. Logic 49(4), 417\u2013446 (2010)","journal-title":"Arch. Math. Logic"},{"issue":"1","key":"1_CR10","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1017\/jsl.2014.19","volume":"80","author":"P Cintula","year":"2015","unstructured":"Cintula, P., Noguera, C.: A Henkin-style proof of completeness for first-order algebraizable logics. J. Symb. Log. 80(1), 341\u2013358 (2015)","journal-title":"J. Symb. Log."},{"issue":"2","key":"1_CR11","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","volume":"24","author":"M Dummett","year":"1959","unstructured":"Dummett, M.: A propositional calculus with denumerable matrix. J. Symb. Log. 24(2), 97\u2013106 (1959)","journal-title":"J. Symb. Log."},{"issue":"3","key":"1_CR12","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(3), 271\u2013288 (2001)","journal-title":"Fuzzy Sets Syst."},{"key":"1_CR13","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/978-3-7908-1769-0_11","volume-title":"Beyond Two: Theory and Applications of Multiple-Valued Logic, Studies in Fuzziness and Soft Computing","author":"F Esteva","year":"2003","unstructured":"Esteva, F., Godo, L., Garc\u00eda-Cerda\u00f1a, \u00c0.: On the hierarchy of t-norm based residuated fuzzy logics. In: Fitting, M.C., Orlowska, E. (eds.) Beyond Two: Theory and Applications of Multiple-Valued Logic, Studies in Fuzziness and Soft Computing, vol. 114, pp. 251\u2013272. Springer, Heidelberg (2003)"},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Fine, K.: Vagueness, truth and logic. Synthese 30, 265\u2013300 (1975). Reprinted with corrections in [22], pp. 119\u2013150","DOI":"10.1007\/BF00485047"},{"key":"1_CR15","series-title":"Studies in Logic and the Foundations of Mathematics","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. Studies in Logic and the Foundations of Mathematics, vol. 151. Elsevier, Amsterdam (2007)"},{"issue":"9","key":"1_CR16","doi-asserted-by":"crossref","first-page":"1097","DOI":"10.1016\/j.apal.2010.01.003","volume":"161","author":"N Galatos","year":"2010","unstructured":"Galatos, N., Ono, H.: Cut elimination and strong separation for substructural logics: an algebraic approach. Ann. Pure Appl. Logic 161(9), 1097\u20131133 (2010)","journal-title":"Ann. Pure Appl. Logic"},{"key":"1_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-011-5300-3","volume-title":"Metamathematics of Fuzzy Logic, Trends in Logic","author":"P H\u00e1jek","year":"1998","unstructured":"H\u00e1jek, P.: Metamathematics of Fuzzy Logic, Trends in Logic, vol. 4. Kluwer, Dordrecht (1998)"},{"issue":"4","key":"1_CR18","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1093\/logcom\/13.4.469","volume":"13","author":"P H\u00e1jek","year":"2003","unstructured":"H\u00e1jek, P.: Fuzzy logics with noncommutative conjunctions. J. Log. Comput. 13(4), 469\u2013479 (2003)","journal-title":"J. Log. Comput."},{"issue":"2","key":"1_CR19","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1015122331293","volume":"70","author":"S Jenei","year":"2002","unstructured":"Jenei, S., Montagna, F.: A proof of standard completeness for Esteva and Godo\u2019s logic MTL. Stud. Logica. 70(2), 183\u2013192 (2002)","journal-title":"Stud. Logica."},{"issue":"5","key":"1_CR20","first-page":"481","volume":"13","author":"S Jenei","year":"2003","unstructured":"Jenei, S., Montagna, F.: A proof of standard completeness for non-commutative monoidal t-norm logic. Neural Netw. World 13(5), 481\u2013489 (2003)","journal-title":"Neural Netw. World"},{"key":"1_CR21","volume-title":"Theories of Vagueness","author":"R Keefe","year":"2000","unstructured":"Keefe, R.: Theories of Vagueness. Cambridge University Press, Cambridge (2000)"},{"volume-title":"Vagueness: A Reader","year":"1997","key":"1_CR22","unstructured":"Keefe, R., Smith, P. (eds.): Vagueness: A Reader. MIT Press, Cambridge (1997)"},{"key":"1_CR23","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1090\/psapm\/012\/9972","volume-title":"Structure of Language and Its Mathematical Aspects","author":"J Lambek","year":"1961","unstructured":"Lambek, J.: On the calculus of syntactic types. In: Jakobson, R. (ed.) Structure of Language and Its Mathematical Aspects, pp. 166\u2013178. American Mathematical Society, Providence (1961)"},{"key":"1_CR24","unstructured":"\u0141ukasiewicz, J., Tarski, A.: Untersuchungen \u00fcber den Aussagenkalk\u00fcl. Comptes Rendus des S\u00e9ances de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie, cl. III 23(iii), 30\u201350 (1930)"},{"issue":"3","key":"1_CR25","doi-asserted-by":"crossref","first-page":"834","DOI":"10.2178\/jsl\/1191333844","volume":"72","author":"G Metcalfe","year":"2007","unstructured":"Metcalfe, G., Montagna, F.: Substructural fuzzy logics. J. Symb. Log. 72(3), 834\u2013864 (2007)","journal-title":"J. Symb. Log."},{"key":"1_CR26","unstructured":"Paoli, F.: Truth degrees, closeness, and the sorites. In: Bueno, O., Abasnezhad, A. (eds.) On the Sorites Paradox. Springer (to appear)"},{"key":"1_CR27","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1093\/jos\/16.1.67","volume":"16","author":"F Paoli","year":"1999","unstructured":"Paoli, F.: Comparative logic as an approach to comparison in natural language. J. Semant. 16, 67\u201396 (1999)","journal-title":"J. Semant."},{"key":"1_CR28","doi-asserted-by":"crossref","first-page":"41","DOI":"10.2307\/2185872","volume":"103","author":"D Raffman","year":"1994","unstructured":"Raffman, D.: Vagueness without paradox. Philos. Rev. 103, 41\u201374 (1994)","journal-title":"Philos. Rev."},{"key":"1_CR29","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199280391.001.0001","volume-title":"Vagueness in Context","author":"S Shapiro","year":"2006","unstructured":"Shapiro, S.: Vagueness in Context. Oxford University Press, Oxford (2006)"},{"key":"1_CR30","unstructured":"Smith, N.J.J.: Consonance and dissonance in solutions to the sorites. In: Bueno, O., Abasnezhad, A. (eds.) On the Sorites Paradox. Springer (to appear)"},{"key":"1_CR31","doi-asserted-by":"publisher","unstructured":"Smith, N.J.J.: Undead argument: the truth-functionality objection to fuzzy theories of vagueness. To appear in Synthese. doi: 10.1007\/s11229-014-0651-7","DOI":"10.1007\/s11229-014-0651-7"},{"key":"1_CR32","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1080\/00048400500110826","volume":"83","author":"NJJ Smith","year":"2005","unstructured":"Smith, N.J.J.: Vagueness as closeness. Australas. J. Philos. 83, 157\u2013183 (2005)","journal-title":"Australas. J. Philos."},{"key":"1_CR33","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780199233007.001.0001","volume-title":"Vagueness and Degrees of Truth","author":"NJJ Smith","year":"2008","unstructured":"Smith, N.J.J.: Vagueness and Degrees of Truth. Oxford University Press, Oxford (2008). Paperback 2013"},{"key":"1_CR34","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780199241309.001.0001","volume-title":"Vagueness and Contradiction","author":"R Sorensen","year":"2001","unstructured":"Sorensen, R.: Vagueness and Contradiction. Oxford University Press, Oxford (2001)"},{"key":"1_CR35","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/7964.001.0001","volume-title":"Human Reasoning and Cognitive Science","author":"K Stenning","year":"2008","unstructured":"Stenning, K., van Lambalgen, M.: Human Reasoning and Cognitive Science. MIT Press, Cambridge (2008)"},{"key":"1_CR36","volume-title":"Vagueness","author":"T Williamson","year":"1994","unstructured":"Williamson, T.: Vagueness. Routledge, London (1994)"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55665-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,26]],"date-time":"2024-06-26T12:38:39Z","timestamp":1719405519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}