{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T14:33:54Z","timestamp":1674830034606},"reference-count":75,"publisher":"Elsevier BV","issue":"1-2","license":[{"start":{"date-parts":[[2005,6,1]],"date-time":"2005-06-01T00:00:00Z","timestamp":1117584000000},"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":[[2005,6]]},"DOI":"10.1016\/j.ins.2005.02.004","type":"journal-article","created":{"date-parts":[[2005,3,11]],"date-time":"2005-03-11T12:26:37Z","timestamp":1110543997000},"page":"41-71","source":"Crossref","is-referenced-by-count":29,"title":["Mathematical fuzzy logic as a tool for the treatment of vague information"],"prefix":"10.1016","volume":"172","author":[{"given":"Siegfried","family":"Gottwald","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.ins.2005.02.004_bib1","doi-asserted-by":"crossref","unstructured":"P. Agliano, I.M.A. Ferreirim, F. Montagna, Basic hoops: an algebraic study of continuous t-norms. Studia Logica, in press","DOI":"10.1007\/s11225-007-9078-1"},{"key":"10.1016\/j.ins.2005.02.004_bib2","doi-asserted-by":"crossref","first-page":"510","DOI":"10.2307\/2274239","article-title":"On the logic of theory change: partial meet contraction and revision functions","volume":"50","author":"Alchourron","year":"1985","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/j.ins.2005.02.004_bib3","series-title":"G\u00f6del\u201996","first-page":"23","article-title":"Infinite-valued G\u00f6del logics with 0\u20131 projections and relativizations","volume":"vol. 6","author":"Baaz","year":"1996"},{"key":"10.1016\/j.ins.2005.02.004_bib4","unstructured":"L. B\u011bhounek, P. Cintula, Fuzzy class theory, Fuzzy Sets Systems, in press"},{"key":"10.1016\/j.ins.2005.02.004_bib5","volume":"vol. 12","author":"Bell","year":"1985"},{"key":"10.1016\/j.ins.2005.02.004_bib6","series-title":"UAI 2003, Proc. 19th Internat. Conf. uncertainty in artificial intelligence, Acapulco, Mexico","first-page":"81","article-title":"On revising fuzzy belief bases","author":"Booth","year":"2003"},{"key":"10.1016\/j.ins.2005.02.004_bib7","doi-asserted-by":"crossref","unstructured":"R. Booth, E. Richter, On revising fuzzy belief bases, Studia Logica, in press","DOI":"10.1007\/s11225-005-6775-5"},{"key":"10.1016\/j.ins.2005.02.004_bib8","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0165-0114(94)00172-4","article-title":"On triangular norm-based propositional fuzzy logics","volume":"69","author":"Butnariu","year":"1995","journal-title":"Fuzzy Sets Systems"},{"key":"10.1016\/j.ins.2005.02.004_bib9","series-title":"A course in universal algebra","author":"Burris","year":"1981"},{"key":"10.1016\/j.ins.2005.02.004_bib10","doi-asserted-by":"crossref","first-page":"476","DOI":"10.1090\/S0002-9947-1958-0094302-9","article-title":"Algebraic analysis of many valued logics","volume":"88","author":"Chang","year":"1958","journal-title":"Trans. Am. Math. Soc."},{"key":"10.1016\/j.ins.2005.02.004_bib11","doi-asserted-by":"crossref","first-page":"106","DOI":"10.1007\/s005000000044","article-title":"Basic fuzzy logic is the logic of continuous t-norms and their residua","volume":"4","author":"Cignoli","year":"2000","journal-title":"Soft Comput."},{"key":"10.1016\/j.ins.2005.02.004_bib12","series-title":"Algebraic foundations of many-Valued reasoning","author":"Cignoli","year":"2000"},{"key":"10.1016\/j.ins.2005.02.004_bib13","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/S0165-0114(01)00099-9","article-title":"The \u0141\u03a0 and \u0141\u03a012 propositional and predicate logics","volume":"124","author":"Cintula","year":"2001","journal-title":"Fuzzy Sets Systems"},{"key":"10.1016\/j.ins.2005.02.004_bib14","first-page":"561","article-title":"An alternative approach to the \u0141\u03a0 logic","volume":"124","author":"Cintula","year":"2001","journal-title":"Neural Network World"},{"key":"10.1016\/j.ins.2005.02.004_bib15","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/s00153-002-0152-0","article-title":"Advances in \u0141\u03a0 and \u0141\u03a012 logics","volume":"42","author":"Cintula","year":"2003","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/j.ins.2005.02.004_bib16","unstructured":"P. Cintula, From fuzzy logic to fuzzy mathematics, Ph.D. Thesis, Technical University, Prague, 2005"},{"key":"10.1016\/j.ins.2005.02.004_bib17","series-title":"Universal algebra and applications in theoretical computer science","author":"Denecke","year":"2002"},{"key":"10.1016\/j.ins.2005.02.004_bib18","first-page":"671","article-title":"Pseudo-BL algebras I and II","volume":"8","author":"di Nola","year":"2002","journal-title":"J. Multiple-Valued Logic"},{"key":"10.1016\/j.ins.2005.02.004_bib19","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":"J. Symbolic Logic"},{"key":"10.1016\/j.ins.2005.02.004_bib20","first-page":"219","article-title":"Putting together \u0141ukasiewicz and product logics","volume":"6","author":"Esteva","year":"1999","journal-title":"Mathware Soft Comput."},{"key":"10.1016\/j.ins.2005.02.004_bib21","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 Systems"},{"key":"10.1016\/j.ins.2005.02.004_bib22","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s001530050006","article-title":"Residuated fuzzy logic with an involutive negation","volume":"39","author":"Esteva","year":"2000","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/j.ins.2005.02.004_bib23","doi-asserted-by":"crossref","first-page":"531","DOI":"10.1093\/logcom\/13.4.532","article-title":"Hoops and fuzzy logic","volume":"13","author":"Esteva","year":"2003","journal-title":"J. Logic Comput."},{"key":"10.1016\/j.ins.2005.02.004_bib24","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/s001530050173","article-title":"The \u0141\u03a0 and \u0141\u03a012 logics: two complete fuzzy systems joining \u0141ukasiewicz and product logics","volume":"40","author":"Esteva","year":"2001","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/j.ins.2005.02.004_bib25","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1023\/B:STUD.0000032084.12744.e3","article-title":"Equational characterization of the subvarieties of BL generated by t-norm algebras","volume":"76","author":"Esteva","year":"2004","journal-title":"Studia Logica"},{"key":"10.1016\/j.ins.2005.02.004_bib26","doi-asserted-by":"crossref","first-page":"355","DOI":"10.1007\/s005000100137","article-title":"Pseudo t-norms and pseudo-BL algebras","volume":"5","author":"Flondor","year":"2001","journal-title":"Soft Comput."},{"key":"10.1016\/j.ins.2005.02.004_bib27","article-title":"Fuzzy logic","volume":"vol. 11","author":"Gerla","year":"2001"},{"key":"10.1016\/j.ins.2005.02.004_bib28","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/S0020-7373(76)80003-X","article-title":"\u0141ukasiewicz logic and fuzzy set theory","volume":"8","author":"Giles","year":"1976","journal-title":"Internat. J. Man\u2013Machine Studies"},{"key":"10.1016\/j.ins.2005.02.004_bib29_1","first-page":"65","article-title":"Zum intuitionistischen Aussagenkalk\u00fcl: Anzeiger Akademie der Wissenschaften Wien","volume":"69","author":"G\u00f6del","year":"1932","journal-title":"Math-Naturwiss Klasse"},{"key":"10.1016\/j.ins.2005.02.004_bib29_2","first-page":"40","volume":"4","author":"G\u00f6del","year":"1933","journal-title":"Ergebnisse eines Mathematischen Kolloquiums H"},{"key":"10.1016\/j.ins.2005.02.004_bib30","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00485654","article-title":"The logic of inexact concepts","volume":"19","author":"Goguen","year":"1968","journal-title":"Synthese"},{"key":"10.1016\/j.ins.2005.02.004_bib31","series-title":"Aspects of vagueness","first-page":"13","article-title":"Fuzzy set theory. Some aspects of the early development","volume":"vol. 39","author":"Gottwald","year":"1984"},{"key":"10.1016\/j.ins.2005.02.004_bib32","series-title":"Fuzzy sets and fuzzy logic. The foundations of Application\u2014From a mathematical point of view","author":"Gottwald","year":"1993"},{"key":"10.1016\/j.ins.2005.02.004_bib33","volume":"vol. 9","author":"Gottwald","year":"2001"},{"key":"10.1016\/j.ins.2005.02.004_bib34","unstructured":"S. Gottwald, Mathematical fuzzy control. A survey of some recent results, submitted"},{"key":"10.1016\/j.ins.2005.02.004_bib35","doi-asserted-by":"crossref","first-page":"303","DOI":"10.1016\/S0165-0114(01)00100-2","article-title":"A new axiomatization for involutive monoidal t-norm based logic","volume":"124","author":"Gottwald","year":"2001","journal-title":"Fuzzy Sets Systems"},{"key":"10.1016\/j.ins.2005.02.004_bib36","series-title":"Logical, algebraic, analytic, and probabilistic aspects of triangular norms","first-page":"275","article-title":"Probabilistic aspects of triangular norms","author":"Gottwald","year":"2005"},{"key":"10.1016\/j.ins.2005.02.004_bib37","series-title":"Universal algebra","author":"Gr\u00e4tzer","year":"1979"},{"key":"10.1016\/j.ins.2005.02.004_bib38","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/s005000050043","article-title":"Basic fuzzy logic and BL-algebras","volume":"2","author":"H\u00e1jek","year":"1998","journal-title":"Soft Comput."},{"key":"10.1016\/j.ins.2005.02.004_bib39","volume":"vol. 4","author":"H\u00e1jek","year":"1998"},{"key":"10.1016\/j.ins.2005.02.004_bib40","first-page":"125","article-title":"Embedding standard BL-algebras into non-commutative pseudo-BL-algebras","volume":"27","author":"H\u00e1jek","year":"2003","journal-title":"Tatra Mt. Math. Publ."},{"key":"10.1016\/j.ins.2005.02.004_bib41","doi-asserted-by":"crossref","first-page":"469","DOI":"10.1093\/logcom\/13.4.469","article-title":"Fuzzy logics with non-commutative conjunctions","volume":"13","author":"H\u00e1jek","year":"2003","journal-title":"J. Logic Comput."},{"key":"10.1016\/j.ins.2005.02.004_bib42","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1007\/s00500-002-0246-y","article-title":"Observations on non-commutative fuzzy logics","volume":"8","author":"H\u00e1jek","year":"2003","journal-title":"Soft Comput."},{"key":"10.1016\/j.ins.2005.02.004_bib43","unstructured":"P. H\u00e1jek, Fleas and fuzzy logic, J. Multiple-Valued Logic Soft Comput., in press"},{"key":"10.1016\/j.ins.2005.02.004_bib44","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/BF01268618","article-title":"A complete many-valued logic with product-conjunction","volume":"35","author":"H\u00e1jek","year":"1996","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/j.ins.2005.02.004_bib45","series-title":"Beyond two. Theory and applications of multiple-Valued logic","first-page":"273","article-title":"A development of set theory in fuzzy logic","author":"H\u00e1jek","year":"2003"},{"key":"10.1016\/j.ins.2005.02.004_bib46","doi-asserted-by":"crossref","first-page":"669","DOI":"10.2307\/2586560","article-title":"Rational Pavelka predicate logic is a conservative extension of \u0141ukasiewicz predicate logic","volume":"65","author":"H\u00e1jek","year":"2000","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/j.ins.2005.02.004_bib47","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/S0165-0114(01)00101-4","article-title":"Standard algebras for fuzzy propositional calculi","volume":"124","author":"Hanikov\u00e1","year":"2001","journal-title":"Fuzzy Sets Systems"},{"key":"10.1016\/j.ins.2005.02.004_bib48","unstructured":"Z. Hanikov\u00e1, Mathematical and metamathematical properties of fuzzy logic, Ph.D. Thesis, Charles University Prague, 2003"},{"key":"10.1016\/j.ins.2005.02.004_bib49","first-page":"343","article-title":"Two approaches to fuzzy propositional logics","volume":"9","author":"Hekrdla","year":"2003","journal-title":"J. Multiple-Valued Logic Soft Comput."},{"key":"10.1016\/j.ins.2005.02.004_bib50","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/s00153-004-0214-6","article-title":"Product \u0141ukasiewicz logic","volume":"43","author":"Hor\u010dik","year":"2004","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/j.ins.2005.02.004_bib51","doi-asserted-by":"crossref","first-page":"183","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.2005.02.004_bib52","first-page":"481","article-title":"A proof of standard completeness for non-commutative monoidal t-norm logic","volume":"13","author":"Jenei","year":"2003","journal-title":"Neural Network World"},{"key":"10.1016\/j.ins.2005.02.004_bib53","first-page":"161","article-title":"\u00dcber einen zweiten Ansatz zur mehrwertigen Mengenlehre","volume":"8","author":"Klaua","year":"1966","journal-title":"Monatsberichte Deut. Akad. Wissensch. Berlin"},{"key":"10.1016\/j.ins.2005.02.004_bib54","series-title":"Discovering the world with fuzzy logic","first-page":"431","article-title":"Fuzzy points, fuzzy relations and fuzzy functions","author":"Klawonn","year":"2000"},{"key":"10.1016\/j.ins.2005.02.004_bib55","series-title":"Triangular norms","author":"Klement","year":"2000"},{"key":"10.1016\/j.ins.2005.02.004_bib56","doi-asserted-by":"crossref","first-page":"199","DOI":"10.21136\/MB.2003.134040","article-title":"Pseudo-BL algebras and PRl-monoids","volume":"128","author":"K\u00fchr","year":"2003","journal-title":"Mathemat. Bohemica"},{"key":"10.1016\/j.ins.2005.02.004_bib57","unstructured":"S. Lehmke, H. Thiele, On fuzzy circumscription, in: EUSFLAT\u201996, Proc. Fourth Europ. Congr. Intell. Techniques and Soft Computing, Aachen 1996, Aachen, vol. 1, 1996, pp. 641\u2013645"},{"key":"10.1016\/j.ins.2005.02.004_bib58","first-page":"51","article-title":"Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalk\u00fcls","volume":"23","author":"\u0141ukasiewicz","year":"1930","journal-title":"Comp. Rend. S\u00e9ances Soc. Sci. Lett. Varsovie, cl. III"},{"key":"10.1016\/j.ins.2005.02.004_bib59","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0020-7373(75)80002-2","article-title":"An experiment in linguistic synthesis with a fuzzy logic controller","volume":"7","author":"Mamdani","year":"1975","journal-title":"Internat. J. Man\u2013Machine Studies"},{"key":"10.1016\/j.ins.2005.02.004_bib60","series-title":"Computational intelligent systems for applied research, Proc. 5th Internat. FLINS Conf. Gent","first-page":"81","article-title":"Fuzzy relation equations via basic predicate fuzzy logic","author":"Nov\u00e1k","year":"2002"},{"key":"10.1016\/j.ins.2005.02.004_bib61","series-title":"Mathematical principles of fuzzy logic","author":"Nov\u00e1k","year":"1999"},{"key":"10.1016\/j.ins.2005.02.004_bib62","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","article-title":"On fuzzy logic I\u2013III","volume":"25","author":"Pavelka","year":"1979","journal-title":"Zeitschr. Math. Logik Grundl. Math."},{"key":"10.1016\/j.ins.2005.02.004_bib63","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1080\/03081070008960959","article-title":"Compatibility of systems of fuzzy relation equations","volume":"29","author":"Perfilieva","year":"2000","journal-title":"Internat. J. General Systems"},{"key":"10.1016\/j.ins.2005.02.004_bib64","series-title":"KR\u201989: Proc. First Internat. Conf. Principles of Knowl. Repres. and Reas","first-page":"333","article-title":"What the lottery paradox tells us about default reasoning","author":"Poole","year":"1989"},{"key":"10.1016\/j.ins.2005.02.004_bib65","unstructured":"E. Richter, Nonmonotonic inference operators for fuzzy logic, in: S. Benferhat, E. Giunchiglia (Eds.), Proc. 9th Internat. Workshop on Nonmonotonic Reasoning, NMR\u20192002, Toulouse, France, 2002, pp. 321\u2013329"},{"key":"10.1016\/j.ins.2005.02.004_bib66","unstructured":"E. Richter, Nonmonotonic fuzzy inference, Ph.D. Thesis, Leipzig University, 2003"},{"key":"10.1016\/j.ins.2005.02.004_bib67","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/S0019-9958(76)90446-0","article-title":"Resolution of composite fuzzy relation equations","volume":"30","author":"Sanchez","year":"1976","journal-title":"Inform. Control"},{"key":"10.1016\/j.ins.2005.02.004_bib68","doi-asserted-by":"crossref","first-page":"851","DOI":"10.2307\/2274139","article-title":"Intuitionistic fuzzy logic and intuitionistic fuzzy set theory","volume":"49","author":"Takeuti","year":"1984","journal-title":"J. Symbolic Logic"},{"key":"10.1016\/j.ins.2005.02.004_bib69","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01270392","article-title":"Fuzzy logic and fuzzy set theory","volume":"32","author":"Takeuti","year":"1992","journal-title":"Arch. Math. Logic"},{"key":"10.1016\/j.ins.2005.02.004_bib70","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1007\/BF01696782","article-title":"Fundamentale Begriffe der Methodologie der deduktiven Wissenschaften","volume":"37","author":"Tarski","year":"1930","journal-title":"Monatshefte Math. Phys."},{"key":"10.1016\/j.ins.2005.02.004_bib71","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1002\/malq.19950410209","article-title":"Well-defined fuzzy sentential logic","volume":"41","author":"Turunen","year":"1995","journal-title":"Math. Logic Quarterly"},{"key":"10.1016\/j.ins.2005.02.004_bib72","series-title":"Theory of logical calculi: basic theory of consequence operations","author":"W\u00f3jcicki","year":"1988"},{"key":"10.1016\/j.ins.2005.02.004_bib73","doi-asserted-by":"crossref","first-page":"338","DOI":"10.1016\/S0019-9958(65)90241-X","article-title":"Fuzzy sets","volume":"8","author":"Zadeh","year":"1965","journal-title":"Inform. Control"},{"key":"10.1016\/j.ins.2005.02.004_bib74","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/TSMC.1973.5408575","article-title":"Outline of a new approach to the analysis of complex systems and decision processes","volume":"SMC-3","author":"Zadeh","year":"1973","journal-title":"IEEE Trans. Systems Man Cybernet"}],"container-title":["Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025505000642?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0020025505000642?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,7,6]],"date-time":"2021-07-06T20:22:26Z","timestamp":1625602946000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0020025505000642"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,6]]},"references-count":75,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2005,6]]}},"alternative-id":["S0020025505000642"],"URL":"https:\/\/doi.org\/10.1016\/j.ins.2005.02.004","relation":{},"ISSN":["0020-0255"],"issn-type":[{"value":"0020-0255","type":"print"}],"subject":[],"published":{"date-parts":[[2005,6]]}}}