{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,4]],"date-time":"2024-07-04T17:37:23Z","timestamp":1720114643212},"reference-count":36,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2012,4,1]],"date-time":"2012-04-01T00:00:00Z","timestamp":1333238400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information Sciences"],"published-print":{"date-parts":[[2012,4]]},"DOI":"10.1016\/j.ins.2011.11.043","type":"journal-article","created":{"date-parts":[[2011,12,8]],"date-time":"2011-12-08T10:09:24Z","timestamp":1323338964000},"page":"63-76","source":"Crossref","is-referenced-by-count":13,"special_numbering":"C","title":["The standard completeness of interval-valued monoidal t-norm based logic"],"prefix":"10.1016","volume":"189","author":[{"given":"B.","family":"Van Gasse","sequence":"first","affiliation":[]},{"given":"C.","family":"Cornelis","sequence":"additional","affiliation":[]},{"given":"G.","family":"Deschrijver","sequence":"additional","affiliation":[]},{"given":"E.E.","family":"Kerre","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ins.2011.11.043_b0005","series-title":"G\u00f6del\u201996: Logical Foundations of Mathematics, Computer science, and Physics","first-page":"23","article-title":"Infinite-valued G\u00f6del logic with 0\u20131 projections and relativisations","volume":"vol. 6","author":"Baaz","year":"1996"},{"issue":"2","key":"10.1016\/j.ins.2011.11.043_b0010","doi-asserted-by":"crossref","first-page":"467","DOI":"10.1090\/S0002-9947-1958-0094302-9","article-title":"Algebraic analysis of many valued logics","volume":"88","author":"Chang","year":"1958","journal-title":"Transactions of the American Mathematical Society"},{"issue":"1","key":"10.1016\/j.ins.2011.11.043_b0015","first-page":"74","article-title":"A new proof of the completeness of the Lukasiewicz axioms","volume":"93","author":"Chang","year":"1959","journal-title":"Transactions of the American Mathematical Society"},{"issue":"1","key":"10.1016\/j.ins.2011.11.043_b0020","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1016\/j.apal.2009.01.012","article-title":"Distinguished algebraic semantics for t-norm based fuzzy logics: methods and algebraic equivalencies","volume":"160","author":"Cintula","year":"2009","journal-title":"Annals of Pure and Applied Logic"},{"issue":"5","key":"10.1016\/j.ins.2011.11.043_b0025","doi-asserted-by":"crossref","first-page":"622","DOI":"10.1016\/j.fss.2005.10.007","article-title":"Advances and challenges in interval-valued fuzzy logic","volume":"157","author":"Cornelis","year":"2006","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/j.ins.2011.11.043_b0030","doi-asserted-by":"crossref","first-page":"691","DOI":"10.1142\/S021848850300248X","article-title":"Classes of intuitionistic Fuzzy t-norms satisfying the residuation principle","volume":"11","author":"Deschrijver","year":"2003","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"10.1016\/j.ins.2011.11.043_b0035","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1090\/S0002-9947-1939-1501995-3","article-title":"Residuated lattices","volume":"45","author":"Dilworth","year":"1939","journal-title":"Transactions of the American Mathematical Society"},{"issue":"2","key":"10.1016\/j.ins.2011.11.043_b0040","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","article-title":"A propositional calculus with denumerable matrix","volume":"24","author":"Dummett","year":"1959","journal-title":"The Journal of Symbolic Logic"},{"issue":"1","key":"10.1016\/j.ins.2011.11.043_b0045","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1142\/S0218488594000055","article-title":"Enriched interval bilattices and partial many-valued logics: an approach to deal with graded truth and imprecision","volume":"2","author":"Esteva","year":"1994","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"10.1016\/j.ins.2011.11.043_b0050","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1016\/j.fss.2006.11.010","article-title":"Adding truth-constants to continuous t-norm based logics: axiomatization and completeness results","volume":"158","author":"Esteva","year":"2007","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/j.ins.2011.11.043_b0055","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/S0165-0114(01)00098-7","article-title":"Monoidal t-norm based logic: towards a logic for left-continuous t-norms","volume":"124","author":"Esteva","year":"2001","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/j.ins.2011.11.043_b0060","series-title":"Beyond Two: Theory and Applications of Multiple Valued Logic","first-page":"251","article-title":"On the hierarchy of t-norm based residuated fuzzy logics","author":"Esteva","year":"2003"},{"issue":"2","key":"10.1016\/j.ins.2011.11.043_b0065","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1007\/s11225-006-7196-9","article-title":"Beyond Rasiowa\u2019s algebraic approach to non-classical logics","volume":"82","author":"Font","year":"2006","journal-title":"Studia Logica"},{"key":"10.1016\/j.ins.2011.11.043_b0070","first-page":"5","article-title":"Wajsberg algebras","volume":"8","author":"Font","year":"1984","journal-title":"Stochastica"},{"key":"10.1016\/j.ins.2011.11.043_b0075","doi-asserted-by":"crossref","first-page":"751","DOI":"10.1002\/(SICI)1098-111X(199610)11:10<751::AID-INT3>3.3.CO;2-N","article-title":"Some comments on interval-valued fuzzy sets","volume":"11","author":"Gehrke","year":"1996","journal-title":"International Journal of Intelligent Systems"},{"key":"10.1016\/j.ins.2011.11.043_b0080","first-page":"65","article-title":"Zum intuitionistischen Aussagenkalk\u00fcl","author":"G\u00f6del","year":"1932","journal-title":"Anzeiger der Akademie der Wissenschaften in Wien"},{"key":"10.1016\/j.ins.2011.11.043_b0085","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1016\/j.ins.2005.02.004","article-title":"Mathematical fuzzy logic as a tool for the treatment of vague information","volume":"172","author":"Gottwald","year":"2005","journal-title":"Information Sciences"},{"key":"10.1016\/j.ins.2011.11.043_b0090","series-title":"Metamathematics of Fuzzy Logic, Trends in Logic\u2014Studia Logica Library","author":"H\u00e1jek","year":"1998"},{"key":"10.1016\/j.ins.2011.11.043_b0095","unstructured":"A. Heyting, Die formalen Regeln der intuitionistischen Logik, Sitzungsberichte der preuszischen Akademie der Wissenschaften, physikalisch-mathematische Klasse (1930) 42\u201356 57\u201371 158\u2013169 in three parts, Sitzungsber. preuss. Akad. Wiss.: 42\u201371, 158\u2013169. English translation of Part I in Mancosu 1998: 311\u2013327."},{"key":"10.1016\/j.ins.2011.11.043_b0100","series-title":"Non-classical Logics and their Applications to Fuzzy Subsets: A Handbook of the Mathematical Foundations of Fuzzy Set Theory","first-page":"53","article-title":"Commutative, residuated l-monoids","author":"H\u00f6hle","year":"1995"},{"issue":"4","key":"10.1016\/j.ins.2011.11.043_b0105","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/s00153-004-0254-y","article-title":"Standard completeness theorem for \u03a0MTL","volume":"44","author":"Hor\u010d\u00edk","year":"2005","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/j.ins.2011.11.043_b0110","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1016\/j.fss.2006.11.009","article-title":"On the failure of standard completeness in \u03a0MTL for infinite theories","volume":"158","author":"Hor\u010d\u00edk","year":"2007","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/j.ins.2011.11.043_b0115","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1023\/A:1015122331293","article-title":"A proof of standard completeness for Esteva and Godo\u2019s logic MTL","volume":"70","author":"Jenei","year":"2002","journal-title":"Studia Logica"},{"key":"10.1016\/j.ins.2011.11.043_b0120","first-page":"1","article-title":"Untersuchungen \u00fcber den Aussagenkalk\u00fcl","author":"\u0141ukasiewicz","year":"1930","journal-title":"Comptes Rendus de la Soci\u00e9t\u00e9 des Sciences et des Lettres de Varsovie"},{"key":"10.1016\/j.ins.2011.11.043_b0125","series-title":"Uncertain Rule-Based Fuzzy Logic Systems","author":"Mendel","year":"2001"},{"key":"10.1016\/j.ins.2011.11.043_b0130","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1016\/j.ins.2006.05.003","article-title":"Advances in type-2 fuzzy sets and systems","volume":"177","author":"Mendel","year":"2007","journal-title":"Information Sciences"},{"key":"10.1016\/j.ins.2011.11.043_b0135","doi-asserted-by":"crossref","unstructured":"G. Metcalfe, N. Olivetti, D. Gabbay, Proof Theory for Fuzzy Logics, Springer Series in Applied Logic, vol. 36, 2008.","DOI":"10.1007\/978-1-4020-9409-5"},{"issue":"4","key":"10.1016\/j.ins.2011.11.043_b0140","doi-asserted-by":"crossref","first-page":"423","DOI":"10.1093\/logcom\/exl002","article-title":"On weakly cancellative fuzzy logics","volume":"16","author":"Montagna","year":"2006","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/j.ins.2011.11.043_b0145","article-title":"An algebraic approach to non-classical logics","volume":"78","author":"Rasiowa","year":"1974","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"key":"10.1016\/j.ins.2011.11.043_b0150","unstructured":"H. Rasiowa, R. Sikorski, The mathematics of metamathematics, Polska Akad. Nauk, 1963"},{"issue":"1","key":"10.1016\/j.ins.2011.11.043_b0155","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1142\/S1793005706000361","article-title":"On the properties of a generalized class of t-norms in interval-valued fuzzy logics","volume":"2","author":"Van Gasse","year":"2006","journal-title":"New Mathematics and Natural Computation"},{"key":"10.1016\/j.ins.2011.11.043_b0160","doi-asserted-by":"crossref","first-page":"1042","DOI":"10.1016\/j.fss.2007.09.003","article-title":"Triangle algebras: a formal logic approach to interval-valued residuated lattices","volume":"159","author":"Van Gasse","year":"2008","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/j.ins.2011.11.043_b0165","doi-asserted-by":"crossref","first-page":"478","DOI":"10.1016\/j.ijar.2008.04.006","article-title":"A characterization of interval-valued residuated lattices","volume":"49","author":"Van Gasse","year":"2008","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.1016\/j.ins.2011.11.043_b0170","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1016\/j.ins.2008.11.005","article-title":"The pseudo-linear semantics of interval-valued fuzzy logics","volume":"179","author":"Van Gasse","year":"2009","journal-title":"Information Sciences"},{"key":"10.1016\/j.ins.2011.11.043_b0175","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1016\/0020-0255(75)90036-5","article-title":"The concept of a linguistic variable and its application to approximate reasoning \u2013 I","volume":"8","author":"Zadeh","year":"1975","journal-title":"Information Sciences"},{"key":"10.1016\/j.ins.2011.11.043_b0180","doi-asserted-by":"crossref","first-page":"2923","DOI":"10.1016\/j.ins.2011.02.022","article-title":"A note on Z-numbers","volume":"181","author":"Zadeh","year":"2011","journal-title":"Information Sciences"}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025511006281?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025511006281?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T15:25:11Z","timestamp":1561044311000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020025511006281"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,4]]},"references-count":36,"alternative-id":["S0020025511006281"],"URL":"https:\/\/doi.org\/10.1016\/j.ins.2011.11.043","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[2012,4]]}}}