{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T14:09:53Z","timestamp":1774879793299,"version":"3.50.1"},"reference-count":402,"publisher":"Elsevier","isbn-type":[{"value":"9780444516237","type":"print"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"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":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1016\/s1874-5857(07)80009-4","type":"book-chapter","created":{"date-parts":[[2007,9,8]],"date-time":"2007-09-08T02:50:27Z","timestamp":1189219827000},"page":"325-449","source":"Crossref","is-referenced-by-count":38,"title":["Fuzzy-Set Based Logics \u2014 an History-Oriented Presentation of their Main Developments"],"prefix":"10.1016","author":[{"given":"Didier","family":"Dubois","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesc","family":"Esteva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Llu\u00eds","family":"Godo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henri","family":"Prade","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"1","key":"10.1016\/S1874-5857(07)80009-4_bib1","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1023\/A:1005238908087","article-title":"On a Contraction-Less Intuitionistic Propositional Logic with Conjunction and Fusion","volume":"65","author":"Adillon","year":"2000","journal-title":"Studio, Logica"},{"key":"10.1016\/S1874-5857(07)80009-4_bib2","doi-asserted-by":"crossref","unstructured":"[Aglian\u00f3 et al., to appear] P. Aglian\u00f3, I. M. A. Ferreirim and F. Montagna. Basic hoops: an algebraic study of continuous t-norms. Studia Logica, to appear.","DOI":"10.1007\/s11225-007-9078-1"},{"key":"10.1016\/S1874-5857(07)80009-4_bib3","series-title":"Proceedings of 34th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2004)","first-page":"38","article-title":"Uniform description of calculi for all t-norm logics","author":"Aguzzoli","year":"2004"},{"key":"10.1016\/S1874-5857(07)80009-4_bib4","series-title":"Proceedings of 35th IEEE International Symposium on MultipleValued Logic","first-page":"284","article-title":"Normal Forms for the One-Variable Fragment of H\u00e1jek's Basic Logic","author":"Aguzzoli","year":"2005"},{"key":"10.1016\/S1874-5857(07)80009-4_bib5","doi-asserted-by":"crossref","first-page":"919","DOI":"10.1007\/s00500-004-0443-y","article-title":"Complexity issues in basic logic","volume":"9","author":"Aguzzoli","year":"2005","journal-title":"Soft Computing"},{"key":"10.1016\/S1874-5857(07)80009-4_bib6","series-title":"Proceedings of The 8th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty","first-page":"662","article-title":"Poset Representation for Gdel and Nilpotent Minimum Logics","author":"Aguzzoli","year":"2005"},{"key":"10.1016\/S1874-5857(07)80009-4_bib7","series-title":"Structure of the algebras of NMGformulas. Proceedings of the 11th Conference on Information Processing and Management of Uncertainty in Knowledge-based System","first-page":"1620","author":"Aguzzoli","year":"2006"},{"key":"10.1016\/S1874-5857(07)80009-4_bib8","series-title":"On Some Logical Connectives for Fuzzy Set Theory","first-page":"18","author":"Alsina","year":"1980"},{"issue":"1","key":"10.1016\/S1874-5857(07)80009-4_bib9","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1016\/0022-247X(83)90216-0","article-title":"On Some Logical Connectives for Fuzzy Set Theory","volume":"93","author":"Alsina","year":"1983","journal-title":"Journal of Math. Analysis and Applications"},{"key":"10.1016\/S1874-5857(07)80009-4_bib10","series-title":"Associative Functions: Triangular Norms and Copulas","author":"Alsina","year":"2006"},{"key":"10.1016\/S1874-5857(07)80009-4_bib11","article-title":"Logic Programming with Fuzzy Unification and Imprecise Constants: Possibilistic Semantics and Automated Deduction","author":"Alsinet","year":"2001"},{"key":"10.1016\/S1874-5857(07)80009-4_bib12","series-title":"Proc. of the 16th Conference on Uncertainty in Artificial Intelligence (UAI'00)","first-page":"1","article-title":"A complete calculus for possibilistic logic programming with fuzzy propositional variables","author":"Alsinet","year":"2000"},{"key":"10.1016\/S1874-5857(07)80009-4_bib13","first-page":"760","article-title":"A proof procedure for possibilistic logic programming with fuzzy constants","author":"Alsinet","year":"2001"},{"key":"10.1016\/S1874-5857(07)80009-4_bib14","first-page":"3","article-title":"On the semantics and automated deduction for PLFC, a logic of possibilistic uncertainty and fuzziness","author":"Alsinet","year":"1999"},{"issue":"5","key":"10.1016\/S1874-5857(07)80009-4_bib15","doi-asserted-by":"crossref","DOI":"10.1016\/S1571-0661(04)80511-5","article-title":"Two formalisms of extended possibilistic logic programming with context-dependent fuzzy unification: a comparative description","volume":"66","author":"Alsinet","year":"2002","journal-title":"Elec. Notes in Theor. Computer Sci."},{"key":"10.1016\/S1874-5857(07)80009-4_bib16","series-title":"Proc. of the 11th International Conference IPMU 2006 (Information Processing and Mangament of Uncertainty)","first-page":"1228","article-title":"Modeling Defeasible Argumentation within a Possibilistic Logic Framework with Fuzzy Unification","author":"Alsinet","year":"2006"},{"key":"10.1016\/S1874-5857(07)80009-4_bib17","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1016\/S0165-0114(86)80034-3","article-title":"Intuitionistic fuzzy sets","volume":"20","author":"Atanassov","year":"1986","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib18","series-title":"Intuitionistic Fuzzy Sets: Theory And Applications","author":"Atanassov","year":"1999"},{"key":"10.1016\/S1874-5857(07)80009-4_bib19","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1007\/BF01531058","article-title":"Hypersequents, Logical Consequence and Intermediate Logics for Concurrency","volume":"4","author":"Avron","year":"1991","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"issue":"2","key":"10.1016\/S1874-5857(07)80009-4_bib20","doi-asserted-by":"crossref","first-page":"197?219","DOI":"10.1023\/A:1013813806341","article-title":"Decomposition Proof Systems for G\u00f6del-Dummett Logics","volume":"69","author":"Avron","year":"2001","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(07)80009-4_bib21","series-title":"The Description Logic Handbook: Theory, Implementation, and Applications","year":"2003"},{"key":"10.1016\/S1874-5857(07)80009-4_bib22","first-page":"23","article-title":"Infinite-valued G\u00f6del logic with 0-1-projections and relativisations","volume":"volume 6","author":"Baaz","year":"1996"},{"key":"10.1016\/S1874-5857(07)80009-4_bib23","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/S0168-0072(01)00048-3","article-title":"Complexity of t-tautologies","volume":"113","author":"Baaz","year":"2002","journal-title":"Ann Pure Appl Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib24","doi-asserted-by":"crossref","first-page":"315","DOI":"10.3233\/FUN-2004-59401","article-title":"A proof-Theoreticalinvestigation of Monoidal T-norm Based Logic","volume":"59","author":"Baaz","year":"2004","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1874-5857(07)80009-4_bib25","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/0165-0114(79)90004-6","article-title":"A new approach to approximate reasoning using a fuzzy logic","volume":"2","author":"Baldwin","year":"1979","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib26","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1016\/S0020-7373(79)80037-1","article-title":"Fuzzy truth definition of possibility measure for decision classification","volume":"11","author":"Baldwin","year":"1979","journal-title":"Int. J. of Man-Machine Studies"},{"key":"10.1016\/S1874-5857(07)80009-4_bib27","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1016\/0165-0114(80)90054-8","article-title":"Axiomatic approach to implication for approximate reasoning with fuzzy logic","volume":"3","author":"Baldwin","year":"1980","journal-title":"Fuzzy Sets and Systems"},{"issue":"5","key":"10.1016\/S1874-5857(07)80009-4_bib28","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1016\/j.fss.2005.10.005","article-title":"Fuzzy logics as the logics of chains","volume":"157","author":"Behounek","year":"2006","journal-title":"Fuzzy Sets and Systems"},{"issue":"5","key":"10.1016\/S1874-5857(07)80009-4_bib29","doi-asserted-by":"crossref","first-page":"642","DOI":"10.1016\/j.fss.2005.10.011","article-title":"From fuzzy logic to fuzzy mathematics: A methodological manifesto","volume":"157","author":"Behounek","year":"2006","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib30","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/0020-0255(73)90009-1","article-title":"On the analytical formalism of the theory of fuzzy sets","volume":"5","author":"Bellman","year":"1973","journal-title":"Information Sciences"},{"key":"10.1016\/S1874-5857(07)80009-4_bib31","series-title":"Modern Uses of Multiple-Valued Logic","first-page":"103","article-title":"Local and fuzzy logics","author":"Bellman","year":"1977"},{"key":"10.1016\/S1874-5857(07)80009-4_bib32","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1006\/jmaa.2000.7456","article-title":"Fuzzy Closure Operators","volume":"262","author":"Epstein","year":"2001","journal-title":"Journal of Mathematical Analysis and Applications"},{"key":"10.1016\/S1874-5857(07)80009-4_bib33","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/s00500-002-0165-y","article-title":"Fuzzy closure operators II:induced relations, representation, and examples","volume":"7","author":"Belohl\u00e1vek","year":"2002","journal-title":"Soft Computing"},{"key":"10.1016\/S1874-5857(07)80009-4_bib34","volume":"Vol. 20","author":"Belohl\u00e1vek","year":"2002"},{"key":"10.1016\/S1874-5857(07)80009-4_bib35","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/s001530200006","article-title":"Fuzzy equational logic","volume":"41","author":"Belohl\u00e1vek","year":"2002","journal-title":"Archive for Math. Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib36","volume":"vol. 186","author":"Belohl\u00e1vek","year":"2005"},{"key":"10.1016\/S1874-5857(07)80009-4_bib37","series-title":"Proc. 19th International Joint Conference on Artificial Intelligence IJCAI'05","first-page":"1281","article-title":"Encoding formulas with partially constrained weights in a possibilistic-like many-sorted propositional logic","author":"Benferhat","year":"2005"},{"key":"10.1016\/S1874-5857(07)80009-4_bib38","series-title":"17th European Conference on Artificial Intelligence","first-page":"337","article-title":"Compiling Possibilistic Knowledge Bases. Proc","author":"Benferhat","year":"2006"},{"key":"10.1016\/S1874-5857(07)80009-4_bib39","series-title":"Proc. of 6th Int. Conf. Principles of Knowledge Representation and Reasoning","first-page":"466","article-title":"A general approach for inconsistency handling and merging information in prioritized knowledge bases","author":"Benferhat","year":"1998"},{"key":"10.1016\/S1874-5857(07)80009-4_bib40","series-title":"Conf. Principles of Knowledge Representation and Reasoning (KR'92)","first-page":"673","article-title":"Representing default rules in possibilistic logic. Proc. 3rd Inter","author":"Benferhat","year":"1992"},{"key":"10.1016\/S1874-5857(07)80009-4_bib41","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/S0004-3702(97)00012-X","article-title":"Nonmonotonic reasoning, conditional objects and possibility theory","volume":"92","author":"Benferhat","year":"1997","journal-title":"Artificial Intellig. J."},{"key":"10.1016\/S1874-5857(07)80009-4_bib42","series-title":"Aggregation and Fusion of Imperfect Information","first-page":"141","article-title":"From semantic to syntactic approaches to information combination in possibilistic Logic","author":"Benferhat","year":"1998"},{"key":"10.1016\/S1874-5857(07)80009-4_bib43","series-title":"Logic at Work","first-page":"473","article-title":"Some syntactic approaches to the handling of inconsistent knowledge bases: A comparative study. Part 2: The prioritized case","author":"Benferhat","year":"1999"},{"key":"10.1016\/S1874-5857(07)80009-4_bib44","first-page":"303","article-title":"Towards a possibilistic logic handling of preferences","volume":"14","author":"Benferhat","year":"2001"},{"key":"10.1016\/S1874-5857(07)80009-4_bib45","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1023\/A:1014446411602","article-title":"Possibilistic merging and distance-based fusion of propositional information","volume":"34","author":"Benferhat","year":"2002","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1874-5857(07)80009-4_bib46","series-title":"Proc. of the 8th Int. Conf. on Principles of Knowledge Representation and Reasoning, KR?02","first-page":"69","article-title":"Bipolar representation and fusion of preferences in the possibilistic logic framework","author":"Benferhat","year":"1994"},{"key":"10.1016\/S1874-5857(07)80009-4_bib47","series-title":"Actes des Rencontres Francophones sur la Logique Floue et ses Applications (LFA'04)","first-page":"67","article-title":"Logique possibiliste avec calcul symbolique sur des poids partiellement constraints","author":"Benferhat","year":"2004"},{"key":"10.1016\/S1874-5857(07)80009-4_bib48","doi-asserted-by":"crossref","first-page":"25","DOI":"10.1016\/j.fss.2003.10.012","article-title":"Reasoning with partially ordered information in a possibilistic framework","volume":"144","author":"Benferhat","year":"2004","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib49","series-title":"Proc of the 10th Conf. Uncertainty in Artificial Intelligence","first-page":"69","article-title":"Possibility and necessity functions over nonclassical logics","author":"Besnard","year":"1994"},{"key":"10.1016\/S1874-5857(07)80009-4_bib50","series-title":"Proc. of the European Conference on Symbolic and Quantitative Approaches to Reasoning and Uncertainty (ECSQARU)","first-page":"44","article-title":"Quasi-classical logic: Non-trivializable classical reasoning from inconsistent information","author":"Besnard","year":"1995"},{"key":"10.1016\/S1874-5857(07)80009-4_bib51","doi-asserted-by":"crossref","first-page":"445","DOI":"10.1002\/int.4550070504","article-title":"Generated necessities and possibilities","volume":"7","author":"Biacino","year":"1992","journal-title":"Int. J. Intelligent Systems"},{"issue":"N. 1","key":"10.1016\/S1874-5857(07)80009-4_bib52","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1002\/(SICI)1521-3870(200001)46:1<77::AID-MALQ77>3.0.CO;2-X","article-title":"Approximate Reasoning Based on Similarity","volume":"Vol. 46","author":"Biacino","year":"2000","journal-title":"Mathematical Logic Quarterly"},{"key":"10.1016\/S1874-5857(07)80009-4_bib53","series-title":"Memoirs of the American Mathematical Society","volume":"volume 396","author":"Willem Blok","year":"1989"},{"key":"10.1016\/S1874-5857(07)80009-4_bib54","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1016\/S0888-613X(98)00018-8","article-title":"Extensionality Based Approximate Reasoning","volume":"19","author":"Boixader","year":"1998","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.1016\/S1874-5857(07)80009-4_bib55","series-title":"Symbolic and Quantitative Approaches to Reasoning and Uncertainty","first-page":"60","article-title":"A substructural connective for possibilistic logic","author":"Boldrin","year":"2005"},{"key":"10.1016\/S1874-5857(07)80009-4_bib56","series-title":"Proc of the 11th Conf. Uncertainty in Artificial Intelligence","first-page":"27","article-title":"An algebraic semantics for possibilistic logic","author":"Boldrin","year":"1995"},{"key":"10.1016\/S1874-5857(07)80009-4_bib57","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1080\/11663081.1997.10510917","article-title":"Local possibilistic logic","volume":"7","author":"Boldrin","year":"1997","journal-title":"J. Applied Non-Classical Logics"},{"key":"10.1016\/S1874-5857(07)80009-4_bib58","first-page":"351","article-title":"Truth-functionality and measure-based logics. In: Fuzzy Sets","volume":"vol. 15","author":"Boldrin","year":"1999"},{"key":"10.1016\/S1874-5857(07)80009-4_bib59","series-title":"Fuzzy Sets in Approximate reasoning and Information Systems","first-page":"15","article-title":"Fuzzy sets and possibility theory in approximate and plausible reasoning","author":"Bouchon-Meunier","year":"1999"},{"key":"10.1016\/S1874-5857(07)80009-4_bib60","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0888-613X(94)90015-9","article-title":"Modal logics for qualitative possibility theory","volume":"10","author":"Boutilier","year":"1994","journal-title":"Int. J. Approximate Reasoning"},{"key":"10.1016\/S1874-5857(07)80009-4_bib61","doi-asserted-by":"crossref","unstructured":"[Bova and Montagna, 2007] S. Bova and F. Montagna. Proof Search in Hajek's Basic Logic. ACM Transactions on Computational Logic, to appear.","DOI":"10.1145\/1352582.1352589"},{"key":"10.1016\/S1874-5857(07)80009-4_bib62","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/0165-0114(94)00172-4","article-title":"On triangular normbased propositional fuzzylogics","volume":"69","author":"Butnariu","year":"1995","journal-title":"Fuzzy Sets Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib63","first-page":"513","article-title":"The two concepts of probability","author":"Carnap","year":"1949"},{"key":"10.1016\/S1874-5857(07)80009-4_bib64","first-page":"197","article-title":"Similarity in Fuzzy Reasoning","volume":"2","author":"Klawonn","year":"1994","journal-title":"Mathware and Soft Computing"},{"key":"10.1016\/S1874-5857(07)80009-4_bib65","first-page":"70","article-title":"Tarski's Fuzzy Consequences","volume":"Vol. 1","author":"Castro","year":"1991"},{"issue":"n. 1","key":"10.1016\/S1874-5857(07)80009-4_bib66","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1080\/11663081.1994.10510820","article-title":"On consequence in approximate reasoning","volume":"vol. 4","author":"Castro","year":"1994","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10.1016\/S1874-5857(07)80009-4_bib67","series-title":"Fuzzy Logic in KnowledgeSystems, Decision and Control","first-page":"247","article-title":"Use of fuzzy set theory in introducing graded consequence in multiple valued logic","author":"Chakraborty","year":"1998"},{"issue":"2","key":"10.1016\/S1874-5857(07)80009-4_bib68","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1080\/11663081.1995.10510857","article-title":"Graded consequence: further studies","volume":"5","author":"Chakraborty","year":"1995","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"10.1016\/S1874-5857(07)80009-4_bib69","first-page":"456","article-title":"Algebraic analysis of many-valued logics","volume":"88","author":"Chung Chang","year":"1958","journal-title":"Trans. Amer. Math. Soc"},{"key":"10.1016\/S1874-5857(07)80009-4_bib70","first-page":"74","article-title":"A new proof of the completeness of the \u0141ukasiewicz axioms","volume":"93","author":"Chang","year":"1959","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(07)80009-4_bib71","series-title":"Procs. of the Uncertainty in Artificial Intelligence Conference","first-page":"76","article-title":"A Logic Programming Framework for Possibilistic Argumentation with Vague Knowledge","author":"Chesnevar","year":"2004"},{"issue":"3","key":"10.1016\/S1874-5857(07)80009-4_bib72","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1016\/0888-613X(95)00075-R","article-title":"A resolution-based system for symbolic approximate reasoning","volume":"13","author":"Chung","year":"1995","journal-title":"International Journal of Approximate Reasoning"},{"issue":"5","key":"10.1016\/S1874-5857(07)80009-4_bib73","first-page":"453","article-title":"T-norm based logics with ncontraction","volume":"12","author":"Ciabattoni","year":"2002","journal-title":"Special Issue on SOFSEM2002 of Neural Network World"},{"key":"10.1016\/S1874-5857(07)80009-4_bib74","first-page":"496","article-title":"Uniform Rules and Dialogue Games for Fuzzy Logics","volume":"volume 3452","author":"Ciabattoni","year":"2005"},{"key":"10.1016\/S1874-5857(07)80009-4_bib75","series-title":"Algebraic Foundations of many-valued reasoning","author":"Cignoli","year":"1999"},{"issue":"2","key":"10.1016\/S1874-5857(07)80009-4_bib76","first-page":"106","article-title":"Basic fuzzy logic is the logic of continuous t-norms and their residua","volume":"4","author":"Cignoli","year":"2000","journal-title":"So\/4 Computing"},{"issue":"3","key":"10.1016\/S1874-5857(07)80009-4_bib77","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1016\/S0165-0114(01)00099-9","article-title":"The \u0141\u03a6. and \u0141\u03a6 1\/2 propositional and predicate logics","volume":"124","author":"Cintula","year":"2001","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib78","first-page":"561","article-title":"An alternative approach to the \u0141\u03a0 logic","volume":"124","author":"Cintula","year":"2001","journal-title":"Neural Network World"},{"issue":"5","key":"10.1016\/S1874-5857(07)80009-4_bib79","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1007\/s00153-002-0152-0","article-title":"Advances in the \u0141\u03a0 and \u0141\u03a0 1\/2 logics","volume":"42","author":"Cintula","year":"2003","journal-title":"Arch. Math. Log."},{"key":"10.1016\/S1874-5857(07)80009-4_bib80","first-page":"942","article-title":"Short note: on the redundancy of axiom (A3)","volume":"9","author":"Cintula","year":"2005"},{"issue":"8","key":"10.1016\/S1874-5857(07)80009-4_bib81","first-page":"575","article-title":"A note to the definition of the \u0141\u03a0-algebras","volume":"9","author":"Cintula","year":"2005","journal-title":"So\/4 Comput."},{"key":"10.1016\/S1874-5857(07)80009-4_bib82","article-title":"From Fuzzy Logic to Fuzzy Mathematics","author":"Cintula","year":"2005"},{"issue":"6","key":"10.1016\/S1874-5857(07)80009-4_bib83","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1007\/s00153-006-0011-5","article-title":"Weakly implicative (fuzzy) logics I: Basic properties","volume":"45","author":"Cintula","year":"2006","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib84","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/j.fss.2003.06.001","article-title":"Semi-normal forms and functional representation of product fuzzy logic","volume":"143","author":"Cintula","year":"2004","journal-title":"Fuzzy Sets and Systems"},{"issue":"3","key":"10.1016\/S1874-5857(07)80009-4_bib85","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1002\/malq.200510032","article-title":"Residuated logics based on strict triangular norms with an involutive negation","volume":"52","author":"Cintula","year":"2006","journal-title":"Mathematical Logical Quarterly"},{"key":"10.1016\/S1874-5857(07)80009-4_bib86","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/0888-613X(94)90032-9","article-title":"Patterns of fuzzy rule-based inference","volume":"11","author":"Cross","year":"1994","journal-title":"Int. J. of Approximate Reasoning"},{"key":"10.1016\/S1874-5857(07)80009-4_bib87","article-title":"La logique de la probabilit\u00e9","author":"de Finetti","year":"1935"},{"key":"10.1016\/S1874-5857(07)80009-4_bib88","series-title":"Approximate Reasoning in Expert Systems","first-page":"355","article-title":"Fuzzy relation equations and algorithms of inference mechanism in expert systems","author":"di Nola","year":"1985"},{"key":"10.1016\/S1874-5857(07)80009-4_bib89","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1016\/0888-613X(89)90018-2","article-title":"An aspect of discrepancy in the implementation of modus ponens in the presence of fuzzy quantities","volume":"3","author":"di Nola","year":"1999","journal-title":"Int. J. of Approximate Reasoning"},{"key":"10.1016\/S1874-5857(07)80009-4_bib90","first-page":"671","article-title":"Pseudo-BL algebras I and II","volume":"8","author":"di Nola","year":"2002","journal-title":"J. MultipleValued Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib91","series-title":"IEEE Int. Symposium on Multiple-valued Logic (ISMVL'81)","first-page":"232","article-title":"Pushing \u0141ukasiewicz-Tarski implication a little farther","author":"Domingo","year":"1981"},{"key":"10.1016\/S1874-5857(07)80009-4_bib92","series-title":"Proc. of 2nd International Linz Seminar on Fuzzy Set Theory","first-page":"39","article-title":"Triangular norms for fuzzy sets","author":"Dubois","year":"1980"},{"key":"10.1016\/S1874-5857(07)80009-4_bib93","series-title":"First Symposium on Policy Analysis and Information Systems","first-page":"167","article-title":"New Results about Properties and Semantics of Fuzzy Set-theoretic Operators","author":"Dubois","year":"1979"},{"issue":"2","key":"10.1016\/S1874-5857(07)80009-4_bib94","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1016\/S0019-9958(79)90730-7","article-title":"Operations in a fuzzy-valued logic","volume":"43","author":"Dubois","year":"1979","journal-title":"Information and Control"},{"key":"10.1016\/S1874-5857(07)80009-4_bib95","series-title":"Fuzzy Sets and Systems - Theory and Applications","author":"Dubois","year":"1980"},{"issue":"3","key":"10.1016\/S1874-5857(07)80009-4_bib96","first-page":"267","article-title":"A theorem on implication functions defined from triangular norms","volume":"8","author":"Dubois","year":"1984","journal-title":"Stochastica"},{"key":"10.1016\/S1874-5857(07)80009-4_bib97","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1080\/01969728408927749","article-title":"Fuzzy logics and the generalized modus ponens revisited","volume":"15","author":"Dubois","year":"1984","journal-title":"Cybernetics and Systems"},{"issue":"5","key":"10.1016\/S1874-5857(07)80009-4_bib98","doi-asserted-by":"crossref","first-page":"547","DOI":"10.1016\/0005-1098(85)90004-4","article-title":"Evidence measures based on fuzzy information","volume":"21","author":"Dubois","year":"1985","journal-title":"Automatica"},{"key":"10.1016\/S1874-5857(07)80009-4_bib99","series-title":"Approximate Reasoning in Expert Systems","first-page":"217","article-title":"The generalized modus ponens under supmin composition -A theoretical study-,","author":"Dubois","year":"1985"},{"key":"10.1016\/S1874-5857(07)80009-4_bib100","doi-asserted-by":"crossref","first-page":"474","DOI":"10.1109\/TSMC.1987.4309063","article-title":"Necessity measures and the resolution principle","volume":"17","author":"Dubois","year":"1987","journal-title":"IEEE Trans. Systems, Man and Cybernetics"},{"key":"10.1016\/S1874-5857(07)80009-4_bib101","series-title":"Possibility Theory","author":"Dubois","year":"1988"},{"key":"10.1016\/S1874-5857(07)80009-4_sbref1000","series-title":"Non Standard Logics for Automated Reasoning","first-page":"287","article-title":"An introduction to possibilistic and fuzzy logics (with discussions and a reply)","author":"Dubois","year":"1988"},{"key":"10.1016\/S1874-5857(07)80009-4_sbref1010","series-title":"Non Standard Logics for Automated Reasoning","first-page":"321","article-title":"An introduction to possibilistic and fuzzy logics (with discussions and a reply)","author":"Dubois","year":"1988"},{"key":"10.1016\/S1874-5857(07)80009-4_bib103","series-title":"Proc. of the 3rd Inter. Fuzzy Systems Association (IFSA'89)","first-page":"782","article-title":"A typology of fuzzy \u201cif\u2026 then\u2026\u201d rules","author":"Dubois","year":"1989"},{"key":"10.1016\/S1874-5857(07)80009-4_bib104","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0888-613X(90)90006-N","article-title":"Resolution principles in possibilistic logic","volume":"4","author":"Dubois","year":"1990","journal-title":"Int. J. Approx. Reasoning"},{"key":"10.1016\/S1874-5857(07)80009-4_bib105","doi-asserted-by":"crossref","first-page":"143","DOI":"10.1016\/0165-0114(91)90050-Z","article-title":"Fuzzy sets in approximate reasoning - Part 1: Inference with possibility distributions","volume":"40","author":"Dubois","year":"1991","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib106","series-title":"Proc. of the Inter. Joint Conf. on Artificial Intelligence (IJCAI'91)","first-page":"419","article-title":"Possibilistic logic, preferential models, nonmonotonicity and related issues","author":"Dubois","year":"1991"},{"key":"10.1016\/S1874-5857(07)80009-4_bib107","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/0004-3702(91)90101-O","article-title":"Epistemic entrenchment and possibilistic logic","volume":"50","author":"Dubois","year":"1991","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1874-5857(07)80009-4_bib108","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1016\/0020-0255(92)90035-7","article-title":"Gradual inference rules in approximate reasoning","volume":"61","author":"Dubois","year":"1992","journal-title":"Information Sciences"},{"key":"10.1016\/S1874-5857(07)80009-4_bib109","series-title":"Modelling gradedness, uncertainty and preference, An Introduction to Fuzzy Logic Applications in Intelligent Systems","first-page":"45","article-title":"Fuzzy rules in knowledge-based systems","author":"Dubois","year":"1992"},{"key":"10.1016\/S1874-5857(07)80009-4_bib110","series-title":"Proc. 1st IEEE Inter. Conf. on Fuzzy Systems","first-page":"821","article-title":"Possibility theory as a basis for preference propagation in automated reasoning","author":"Dubois","year":"1992"},{"key":"10.1016\/S1874-5857(07)80009-4_bib111","series-title":"Proc. of the 12th National Conf. on Artificial Intelligence (AAAI'94)","first-page":"149","article-title":"Can we enforce full compositionality in uncertainty calculi?","author":"Dubois","year":"1994"},{"key":"10.1016\/S1874-5857(07)80009-4_bib112","series-title":"Conditionals: From Philosophy to Computer Science","first-page":"311","article-title":"Conditional objects, possibility theory and default rules","author":"Dubois","year":"1995"},{"key":"10.1016\/S1874-5857(07)80009-4_bib113","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/0165-0114(96)00066-8","article-title":"What are fuzzy rules and how to use them","volume":"84","author":"Dubois","year":"1996","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib114","first-page":"219","article-title":"Combining hypothetical reasoning and plausible inference in possibilistic logic","volume":"1","author":"Dubois","year":"1996","journal-title":"J. of Multiple Valued Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib115","first-page":"169","article-title":"Possibility theory: Qualitative and quantitative aspects","volume":"Vol. 1","author":"Dubois","year":"1998"},{"key":"10.1016\/S1874-5857(07)80009-4_bib116","series-title":"Incomplete information: Rough Set Analysis","article-title":"Similarity vs. preference in fuzzy set-based logics","author":"Dubois","year":"1998"},{"key":"10.1016\/S1874-5857(07)80009-4_bib117","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1023\/A:1016740830286","article-title":"Possibility theory, probability theory and multiple-valued logics: A clarification","volume":"32","author":"Dubois","year":"2001","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"10.1016\/S1874-5857(07)80009-4_bib118","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.fss.2003.10.011","article-title":"Possibilistic logic: a retrospective and prospective view","volume":"144","author":"Dubois","year":"2004","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib119","series-title":"Actes des Rencontres Francophones sur la Logique Floue et ses Applications (LFA'06)","first-page":"137","article-title":"Extensions multi-agents de la logique possibiliste","author":"Dubois","year":"2006"},{"key":"10.1016\/S1874-5857(07)80009-4_bib120","series-title":"Proc. of the 10th Inter. Joint Conf. on Artificial Intelligence IJCAI'87","first-page":"984","article-title":"Theorem proving under uncertainty A possibility theory-based approach","author":"Dubois","year":"1987"},{"key":"10.1016\/S1874-5857(07)80009-4_bib121","series-title":"Truth Maintenance Systems","first-page":"87","article-title":"A possibilistic assumption-based truth maintenance system with uncertain justifications and its application to belief revision","author":"Dubois","year":"1991"},{"issue":"Numbers 3-4","key":"10.1016\/S1874-5857(07)80009-4_bib122","doi-asserted-by":"crossref","first-page":"211","DOI":"10.3233\/FI-1991-153-403","article-title":"Timed possibilistic logic","volume":"XV","author":"Dubois","year":"1991","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1874-5857(07)80009-4_bib123","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0165-0114(91)90051-Q","article-title":"Fuzzy sets in approximate reasoning - Part 2: Logical approaches","volume":"40","author":"Dubois","year":"1991","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib124","series-title":"Proc. of the 10th Eur. Conf. on Artificial Intelligence (ECAI'92)","first-page":"38","article-title":"Dealing with multi-source information in possibilitic logic","author":"Dubois","year":"1992"},{"key":"10.1016\/S1874-5857(07)80009-4_bib125","series-title":"Readings in Fuzzy Sets for Intelligent Systems","year":"1993"},{"key":"10.1016\/S1874-5857(07)80009-4_bib126","series-title":"Theoretical Aspects of Fuzzy Control","first-page":"147","article-title":"Gradual rules and the approximation of control laws","author":"Dubois","year":"1984"},{"key":"10.1016\/S1874-5857(07)80009-4_bib127","first-page":"439","article-title":"Possibilistic logic","volume":"Vol. 3","author":"Dubois","year":"1994"},{"key":"10.1016\/S1874-5857(07)80009-4_bib128","first-page":"64","article-title":"Automated reasoning using possibilistic logic: Semantics, belief revision and variable certainty weights","volume":"6","author":"Dubois","year":"1994"},{"key":"10.1016\/S1874-5857(07)80009-4_bib129","series-title":"Fuzzy Logic and Fuzzy Control (Proc. of the IJCAI'91 Workshop)","first-page":"45","article-title":"Handling uncertainty, context, vague predicates, and partial inconsistency in possibilistic logic","author":"Dubois","year":"1994"},{"issue":"7","key":"10.1016\/S1874-5857(07)80009-4_bib130","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0888-613X(96)00137-5","article-title":"A logical approach to interpolation based on similarity relations","volume":"17","author":"Dubois","year":"1997","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.1016\/S1874-5857(07)80009-4_bib131","series-title":"18th International on Fuzzy Set Theory (Enriched Lattice Structures for Many-Valued and Fuzzy Logics)","article-title":"A comparative study of logics of graded uncertainty and logics of graded truth. Proc","author":"Dubois","year":"1997"},{"key":"10.1016\/S1874-5857(07)80009-4_bib132","series-title":"Logic Programming and Soft Computing","first-page":"69","article-title":"A possibilistic logic with fuzzy constants and fuzzily restricted quantifiers","author":"Dubois","year":"1998"},{"key":"10.1016\/S1874-5857(07)80009-4_bib133","doi-asserted-by":"crossref","first-page":"1","DOI":"10.3233\/FI-1999-371201","article-title":"Using possibilistic logic for modeling qualitative decision: ATMS-based algorithms","volume":"37","author":"Dubois","year":"1999","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1874-5857(07)80009-4_bib134","series-title":"Fuzzy Algorithms for Control","first-page":"17","article-title":"Fuzzy logic, control engineering and artificial intelligence","author":"Dubois","year":"1999"},{"key":"10.1016\/S1874-5857(07)80009-4_bib135","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1023\/A:1008370109997","article-title":"Knowledge-Driven versus data-driven logics","volume":"9","author":"Dubois","year":"2000","journal-title":"Journal of Logic, Language and Information"},{"key":"10.1016\/S1874-5857(07)80009-4_bib136","series-title":"Proc. 6th Europ. Conf. on Symbolic and Quantitative Approaches to reasoning with Uncertainty ECSQARU-01","first-page":"522","article-title":"\u201cNot impossible\u201d vs. \u201cguaranteed possible\u201d in fusion and revision","author":"Dubois","year":"2001"},{"key":"10.1016\/S1874-5857(07)80009-4_bib137","first-page":"101","article-title":"Quasi-possibilistic logic and its measures of information and conflict","volume":"57","author":"Dubois","year":"2003","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1874-5857(07)80009-4_bib138","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1002\/int.10103","article-title":"New perspective on reasoning with fuzzy rules","volume":"18","author":"Dubois","year":"2003","journal-title":"International Journal of Intelligent Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib139","series-title":"Handbook of Categorization in Cognitive Science","first-page":"892","article-title":"An information-based discussion of vagueness","author":"Dubois","year":"2005"},{"key":"10.1016\/S1874-5857(07)80009-4_bib140","first-page":"485","article-title":"logical difficulties in fuzzy set theory The case of Intuitionistic Fuzzy Sets (with a reply by K. T. Atanassov, 496\u2013499)","volume":"156","author":"Dubois","year":"2005"},{"key":"10.1016\/S1874-5857(07)80009-4_bib141","series-title":"Fuzzy logic and the semantic web","first-page":"101","article-title":"Possibilistic uncertainty and fuzzy features in description logic. A preliminary discussion","author":"Dubois","year":"2006"},{"key":"10.1016\/S1874-5857(07)80009-4_bib142","doi-asserted-by":"crossref","first-page":"97","DOI":"10.2307\/2964753","article-title":"A propositional calculus with denumerable matrix","volume":"27","author":"Dummett","year":"1959","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"10.1016\/S1874-5857(07)80009-4_bib143","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/j.fss.2003.06.003","article-title":"Formal theories and linguistic descriptions","volume":"143","author":"Dvor\u00e1k","year":"2004","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib144","series-title":"IEEE Expert","first-page":"3","article-title":"The paradoxical success of fuzzy logic. (with discussions by many scientists and a reply by the author)","author":"Elkan","year":"1994"},{"issue":"3","key":"10.1016\/S1874-5857(07)80009-4_bib145","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1142\/S0218488599000167","article-title":"On the relation of Fuzzy Preorders and Fuzzyconsequence Operators","volume":"Vol 7","author":"Elorza","year":"1999","journal-title":"Int. J. of Uncertainty, Fuzziness and Knowledge-based Systems"},{"issue":"n.2-3","key":"10.1016\/S1874-5857(07)80009-4_bib146","first-page":"219","article-title":"Putting together \u0141ukasiewicz and product logics","volume":"Vol. VI","author":"Esteva","year":"1999","journal-title":"Mathware and Soft Computing"},{"key":"10.1016\/S1874-5857(07)80009-4_bib147","first-page":"271","article-title":"Monoidal t-norm based logic: Towards a logic for left-continuous t-norms","volume":"124","author":"Esteva","year":"2001"},{"key":"10.1016\/S1874-5857(07)80009-4_bib148","series-title":"Special issue on BL-algebras Soft","volume":"9","year":"2005"},{"issue":"4","key":"10.1016\/S1874-5857(07)80009-4_bib149","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1016\/0888-613X(94)90029-9","article-title":"Relating and extending semantical approaches to possibilistic reasoning","volume":"10","author":"Esteva","year":"1994","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.1016\/S1874-5857(07)80009-4_bib150","series-title":"Proc. VII Congreso Espa\u00f1ol sobre Tecnolog\u00edas y L\u00f3gica Fuzzy, ESTYLF'97","first-page":"21","article-title":"On the Semantics of Fuzzy Statements Based on Possibilistic Constraints","author":"Esteva","year":"1997"},{"issue":"3-4","key":"10.1016\/S1874-5857(07)80009-4_bib151","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/S0888-613X(96)00126-0","article-title":"A modal account of similarity-based reasoning","volume":"1","author":"Esteva","year":"1997","journal-title":"International Journal of Approximate Reasoning"},{"issue":"n. 2-3","key":"10.1016\/S1874-5857(07)80009-4_bib152","first-page":"151","article-title":"Fuzzy Approximation Relations, Modal Structures and Possibilistic Logic","volume":"5","author":"Esteva","year":"1998","journal-title":"Mathware and Soft Computing"},{"issue":"2","key":"10.1016\/S1874-5857(07)80009-4_bib153","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s001530050006","article-title":"Residuated fuzzy logics with an involutive negation","volume":"39","author":"Esteva","year":"2000","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib154","series-title":"Proceedings of Joint 9th IFSA World Congress and 20th NAFIPS International Conference","first-page":"1598","article-title":"On syntactical and semantical approaches to similarity-based approximate reasoning","author":"Esteva","year":"2001"},{"issue":"1","key":"10.1016\/S1874-5857(07)80009-4_bib154a","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/s001530050173","article-title":"The L\u03a0 and L\u03a0\u00bd logics: Two complete fuzzy systems joining \u0141ukasiewicz and product logics","volume":"40","author":"Esteva","year":"2001","journal-title":"Archive for Mathematical Logic"},{"issue":"1","key":"10.1016\/S1874-5857(07)80009-4_bib155","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/s001530050173","article-title":"The \u0141\u03a0 and \u0141\u03a01\/2 logics: Two complete fuzzy systems joining Lukasiewicz and product logics","volume":"40","author":"Esteva","year":"2001","journal-title":"Archive for Mathematical Logic"},{"issue":"2","key":"10.1016\/S1874-5857(07)80009-4_bib156","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1023\/A:1016548805869","article-title":"On the standard and rational completeness of some axiomatic extensions of the monoidal t-norm logic","volume":"71","author":"Esteva","year":"2002","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(07)80009-4_bib157","series-title":"Beyond Two: Theory andApplications of MultipleValued Logic","first-page":"251","article-title":"On the hierarchy of t-norm based residuated fuzzy logics","author":"Esteva","year":"2003"},{"key":"10.1016\/S1874-5857(07)80009-4_bib158","doi-asserted-by":"crossref","first-page":"531?555","DOI":"10.1093\/logcom\/13.4.532","article-title":"Hoops and fuzzy logic","volume":"13","author":"Esteva","year":"2003","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1874-5857(07)80009-4_bib159","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"},{"issue":"Number 1-2","key":"10.1016\/S1874-5857(07)80009-4_bib160","first-page":"9","article-title":"On rational Weak Nilpotent Minimum logics","volume":"Vol. 12","author":"Esteva","year":"2006","journal-title":"Journal of Multiple-Valued Logic and Soft Computing"},{"key":"10.1016\/S1874-5857(07)80009-4_bib161","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\/S1874-5857(07)80009-4_bib162","series-title":"To appear in the book Fuzzy Logics and Related Structures","article-title":"On expansions of t-norm based logics with truth-constants","author":"Esteva","year":"2007"},{"key":"10.1016\/S1874-5857(07)80009-4_bib163","series-title":"Fundamentals of Artificial Intelligence Research (FAIR'91)","first-page":"11","article-title":"A modal analysis of possibility theory","volume":"Vol. 535","author":"Fari\u00f1as del Cerro","year":"1991"},{"key":"10.1016\/S1874-5857(07)80009-4_bib164","doi-asserted-by":"crossref","first-page":"375","DOI":"10.1016\/0004-3702(94)90031-0","article-title":"From ordering-based nonmonotonic reasoning to conditional logics","volume":"66","author":"Fari\u00f1as del Cerro","year":"1994","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1874-5857(07)80009-4_bib165","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1007\/BF00485047","article-title":"Vagueness, truth and logic","volume":"30","author":"Fine","year":"1975","journal-title":"Synthese"},{"key":"10.1016\/S1874-5857(07)80009-4_bib166","series-title":"Lecture Notes in Artificial Intelligence, 3571: 8th European Conference on Symbolic and Quantitaive Approaches on Reasoning under Uncertainty ECSQARU'05","first-page":"714","article-title":"A Zero-Layer Based Fuzzy Probabilistic Logic for Conditional Probability","author":"Flaminio","year":"2005"},{"issue":"Issue 24","key":"10.1016\/S1874-5857(07)80009-4_bib167","doi-asserted-by":"crossref","first-page":"3125","DOI":"10.1016\/j.fss.2006.06.016","article-title":"T-norm based logics with an independent involutive negation","volume":"Vol. 157","author":"Flaminio","year":"2006","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib168","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/s00153-004-0253-z","article-title":"A Logical and Algebraic Treatment of Conditional Probability","volume":"44","author":"Flaminio","year":"2005","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib169","first-page":"42","article-title":"Some remarks on fuzzy implication operations","volume":"38","author":"Fodor","year":"1989"},{"key":"10.1016\/S1874-5857(07)80009-4_bib170","series-title":"Proc. of FUZZ-IEEE'95","first-page":"2077","article-title":"Nilpotent minimum and related connectives for fuzzy logic","author":"Fodor","year":"1995"},{"key":"10.1016\/S1874-5857(07)80009-4_bib171","first-page":"125","article-title":"Fuzzy Set-theoretic Operators and Quantifiers","volume":"Vol. 1","author":"Fodor","year":"2000"},{"key":"10.1016\/S1874-5857(07)80009-4_bib172","first-page":"1","article-title":"Similarity-based unification","volume":"40","author":"Formato","year":"2000","journal-title":"Fundamenta Informaticae"},{"key":"10.1016\/S1874-5857(07)80009-4_bib173","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0165-0114(80)90014-7","article-title":"Some considerations on fuzzy conditional inference","volume":"4","author":"Fukami","year":"1980","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib174","series-title":"\u201cFuzzy sets and their applications to cognitive and decision processes\u201d","first-page":"227","article-title":"An axiomatic approach to rational decision making in a fuzzy environment","author":"Fung","year":"1975"},{"key":"10.1016\/S1874-5857(07)80009-4_bib175","series-title":"Fuzzy Set, Logics, and Artificial Intelligence","first-page":"69","article-title":"How to make your logic fuzzy (fibred semantic and weaving of logics, part 3","author":"Gabbay","year":"1996"},{"key":"10.1016\/S1874-5857(07)80009-4_bib176","article-title":"Fibring and labelling: Two methods for making modal logic fuzzy","volume":"Vol. 1","author":"Gabbay","year":"1997"},{"issue":"1","key":"10.1016\/S1874-5857(07)80009-4_bib177","first-page":"113","article-title":"Hypersequents and Fuzzy Logic","volume":"98","author":"Gabbay","year":"2004","journal-title":"Revista de la Real Academia de Ciencias"},{"key":"10.1016\/S1874-5857(07)80009-4_bib178","doi-asserted-by":"crossref","first-page":"623","DOI":"10.1016\/S0020-7373(76)80027-2","article-title":"Foundations of fuzzy reasoning","volume":"6","author":"Gaines","year":"1976","journal-title":"Int. J. of Man-Machine Studies"},{"key":"10.1016\/S1874-5857(07)80009-4_bib179","doi-asserted-by":"crossref","first-page":"154","DOI":"10.1016\/S0019-9958(78)90165-1","article-title":"Fuzzy and probability uncertainty logics","volume":"38","author":"Gaines","year":"1978","journal-title":"Information and Control"},{"key":"10.1016\/S1874-5857(07)80009-4_bib180","series-title":"Studies in Logics and the Foundations of Mathematics 151","article-title":"Residuated Lattices: an algebraic glimpse at substructural logics","author":"Galatos","year":"2007"},{"key":"10.1016\/S1874-5857(07)80009-4_bib181","first-page":"47","article-title":"Les ensembles flous en linguistique","volume":"5","author":"Gentilhomme","year":"1968"},{"key":"10.1016\/S1874-5857(07)80009-4_bib182","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1007\/PL00009890","article-title":"A Note on Functions Associated with G\u00f6del Formulas","volume":"vol 4","author":"Gerla","year":"2000","journal-title":"Soft Computing"},{"key":"10.1016\/S1874-5857(07)80009-4_bib183","article-title":"Many-Valued Logics Based on Continuous t-Norms and Their Functional Representation","author":"Gerla","year":"2001"},{"key":"10.1016\/S1874-5857(07)80009-4_bib184","first-page":"579","article-title":"Rational Lukasiewicz logic and DMV-algebras","volume":"vol 11","author":"Gerla","year":"2001","journal-title":"Neural Networks World"},{"issue":"n. 40","key":"10.1016\/S1874-5857(07)80009-4_bib185","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1002\/malq.19940400306","article-title":"An Extension Principle for Fuzzy Logic","author":"Gerla","year":"1994","journal-title":"Mathematical Logic Quarterly"},{"key":"10.1016\/S1874-5857(07)80009-4_bib186","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1016\/0004-3702(94)90102-3","article-title":"Inferences in probability logic","volume":"70","author":"Gerla","year":"1994","journal-title":"Artificial Intelligence"},{"issue":"num. 4","key":"10.1016\/S1874-5857(07)80009-4_bib187","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1080\/11663081.1996.10510892","article-title":"Graded Consequence Relations and Fuzzy Closure Operators","volume":"vol. 6","author":"Gerla","year":"1996","journal-title":"Journal of Applied Non-Clasical Logics"},{"key":"10.1016\/S1874-5857(07)80009-4_bib188","article-title":"Fuzzy Logic: Mathematical Tols for Approximate Reasoning","volume":"vol. 11","author":"Gerla","year":"2001"},{"key":"10.1016\/S1874-5857(07)80009-4_bib189","series-title":"Fuzzy Logic and Soft Computing","first-page":"19","article-title":"Similarity in logic programming","author":"Gerla","year":"1999"},{"key":"10.1016\/S1874-5857(07)80009-4_bib190","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0165-0114(88)90017-6","article-title":"The concept of grade of membership","volume":"25","author":"Giles","year":"1988","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib191","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/0888-613X(88)90104-1","article-title":"A utility-valued logic for decision-making","volume":"2","author":"Giles","year":"1988","journal-title":"Int. J. of Approximate Reasoning"},{"key":"10.1016\/S1874-5857(07)80009-4_bib192","first-page":"65","article-title":"Zum intuitionistischen Aussagenkalk\u00fcl","volume":"69","author":"G\u00f6del","year":"1932"},{"key":"10.1016\/S1874-5857(07)80009-4_bib193","article-title":"\u00f3 a l'Estudi de Models d'infer\u00e8ncia en els Sistemes Possibil\u00edstics","author":"Godo","year":"1990"},{"issue":"1","key":"10.1016\/S1874-5857(07)80009-4_bib194","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1080\/11663081.1999.10510957","article-title":"Fuzzy Inference as Deduction","volume":"9","author":"Godo","year":"1999","journal-title":"Journal of Applied non-Classical Logics"},{"issue":"Number 5","key":"10.1016\/S1874-5857(07)80009-4_bib195","first-page":"811","article-title":"Reasoning about probability using fuzzy logic","volume":"Vol. 10","author":"Godo","year":"2000","journal-title":"Neural Network World"},{"issue":"2-4","key":"10.1016\/S1874-5857(07)80009-4_bib196","first-page":"127","article-title":"A fuzzy modal logic for belief functions","volume":"57","author":"Godo","year":"2003","journal-title":"Fundamenta Informaticae"},{"issue":"Number 3","key":"10.1016\/S1874-5857(07)80009-4_bib197","doi-asserted-by":"crossref","first-page":"457","DOI":"10.1093\/jigpal\/jzl019","article-title":"Reasoning about coherent conditional probability in a fuzzy logic setting","volume":"Vol. 14","author":"Godo","year":"2006","journal-title":"Logic Journal of the IGPL"},{"key":"10.1016\/S1874-5857(07)80009-4_bib198","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/0022-247X(67)90189-8","article-title":"L-fuzzy sets","volume":"8","author":"Goguen","year":"1967","journal-title":"J. Math. Anal. Appl."},{"key":"10.1016\/S1874-5857(07)80009-4_bib199","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/BF00485654","article-title":"The logic of inexact concepts","volume":"19","author":"Goguen","year":"1969","journal-title":"Synthese"},{"key":"10.1016\/S1874-5857(07)80009-4_bib200","series-title":"Fuzzy Sets and Fuzzy Logic: Foundations of Applicationfrom a Mathematical Point of View","author":"Gottwald","year":"1993"},{"key":"10.1016\/S1874-5857(07)80009-4_bib201","series-title":"Studies in Logic and Computation 9","article-title":"A Treatise on Many-valued Logics","author":"Gottwald","year":"2001"},{"key":"10.1016\/S1874-5857(07)80009-4_bib202","series-title":"Logical, Algebraic, Analytic and Probabilistic Aspects of Triangular Norms","first-page":"2757300","article-title":"Triangular norm based mathematical fuzzy logic","author":"Gottwald","year":"2005"},{"issue":"4","key":"10.1016\/S1874-5857(07)80009-4_bib203","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1016\/S0020-7373(79)80036-X","article-title":"Do We Need \u201cFuzzy Logic\u201d","volume":"11","author":"Haack","year":"1979","journal-title":"International Journal of Man-Machine Studies"},{"key":"10.1016\/S1874-5857(07)80009-4_bib204","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0888-613X(94)00011-Q","article-title":"A qualitative fuzzy possibilistic logic","volume":"12","author":"H\u00e1jek","year":"1994","journal-title":"Int. J. of Approximate Reasoning"},{"key":"10.1016\/S1874-5857(07)80009-4_bib205","article-title":"Metamathematics of Fuzzy Logic","volume":"vol. 4","author":"H\u00e1jek","year":"1998"},{"key":"10.1016\/S1874-5857(07)80009-4_bib206","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 Computing"},{"issue":"1","key":"10.1016\/S1874-5857(07)80009-4_bib207","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1016\/S0165-0114(02)00057-X","article-title":"Observations on the monoidal t-norm logic","volume":"132","author":"H\u00e1jek","year":"2002","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib208","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":"Journal of Logic and Computation"},{"key":"10.1016\/S1874-5857(07)80009-4_bib209","doi-asserted-by":"crossref","first-page":"28?43","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 Computing"},{"key":"10.1016\/S1874-5857(07)80009-4_bib210","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.fss.2005.03.005","article-title":"Making fuzzy description logic more general","volume":"154","author":"H\u00e1jek","year":"2005","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib211","doi-asserted-by":"crossref","first-page":"935","DOI":"10.1007\/s00500-004-0448-6","article-title":"Arithmetical complexity of fuzzy predicate logics \u2013 a survey","volume":"9","author":"H\u00e1jek","year":"2005","journal-title":"Soft Computing"},{"issue":"Number 1-2","key":"10.1016\/S1874-5857(07)80009-4_bib212","first-page":"137","article-title":"Fleas and fuzzy logic","volume":"Volume 11","author":"H\u00e1jek","year":"2005","journal-title":"Journal of Multiple-Valued Logic and Soft Computing"},{"key":"10.1016\/S1874-5857(07)80009-4_bib213","series-title":"Capturing Intelligence: Fuzzy Logic and the Semantic Web","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/S1574-9576(06)80007-9","article-title":"What does mathematical fuzzy logic offer to description logic","author":"H\u00e1jek","year":"2006"},{"key":"10.1016\/S1874-5857(07)80009-4_bib214","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1016\/j.fss.2005.12.008","article-title":"Computational complexity of t-norm based propositional fuzzy logics with rational truth-constants","volume":"157","author":"H\u00e1jek","year":"2006","journal-title":"Fuzzy Sets and Systems"},{"issue":"3","key":"10.1016\/S1874-5857(07)80009-4_bib215","doi-asserted-by":"crossref","first-page":"863","DOI":"10.2178\/jsl\/1154698581","article-title":"On theories and models in fuzzy predicate logics","volume":"71","author":"H\u00e1jek","year":"2006","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib216","series-title":"To appear in the book Fuzzy Logics and Related Structures","article-title":"Triangular norm predicate fuzzy logics","author":"H\u00e1jek","year":"2007"},{"key":"10.1016\/S1874-5857(07)80009-4_bib217","series-title":"Proc. of the 11th Conf. on Uncertainty in Artificial Intelligence","first-page":"278","article-title":"On modal logics for qualitative possibility in a fuzzy setting","author":"H\u00e1jek","year":"1994"},{"key":"10.1016\/S1874-5857(07)80009-4_bib218","series-title":"Proc. of the 12th Conf. on Uncertainty in Artificial Intelligence","first-page":"237","article-title":"Fuzzy logic and probability","author":"H\u00e1jek","year":"1995"},{"issue":"3","key":"10.1016\/S1874-5857(07)80009-4_bib219","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":"Archive for Mathematical Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib220","series-title":"International Series of Monographs in Computer Science","volume":"volume 10","year":"1994"},{"issue":"4","key":"10.1016\/S1874-5857(07)80009-4_bib221","doi-asserted-by":"crossref","first-page":"415","DOI":"10.1093\/jigpal\/jzi032","article-title":"Many-valued logic partiality, and abstraction in formal specification languages","volume":"13","author":"H\u00e4hnle","year":"2005","journal-title":"Logic Journal of IGPL"},{"key":"10.1016\/S1874-5857(07)80009-4_bib222","series-title":"First Symposium on Policy Analysis and Information Systems","first-page":"178","article-title":"Minkowski functionals of L-fuzzy sets","author":"H\u00f6hle","year":"1979"},{"key":"10.1016\/S1874-5857(07)80009-4_bib223","series-title":"Non-Classical Logics andTheir Applications to Fuzzy Subsets","first-page":"55","article-title":"Commutative, residuated 1-monoids","author":"H\u00f6hle","year":"1995"},{"key":"10.1016\/S1874-5857(07)80009-4_bib224","doi-asserted-by":"crossref","unstructured":"U. H\u00f6hle. Fuzzy Sets and Sheaves. Part I: Basic Concepts. Part II: Sheaf-theoretic Foundations of Fuzzy Set Theory with Applicationsto Algebra and Topology, Fuzzy Sets and Systems to appear.","DOI":"10.1016\/j.fss.2006.12.009"},{"key":"10.1016\/S1874-5857(07)80009-4_bib225","series-title":"Proc. of the 10th Conference on Uncertainty in Artificial Intelligence (UAI'94)","first-page":"327","article-title":"An alternative proof method for possibilistic logic and its application to terminological logics","author":"Hollunder","year":"1994"},{"key":"10.1016\/S1874-5857(07)80009-4_bib226","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1016\/0888-613X(94)00015-U","article-title":"An alternative proof method for possibilistic logic and its application to terminological logics","volume":"12","author":"Hollunder","year":"1995","journal-title":"Int. J. of Approximate Reasoning"},{"issue":"4","key":"10.1016\/S1874-5857(07)80009-4_bib227","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1007\/s00153-004-0254-y","article-title":"Standard completeness theorem for nMTL","volume":"44","author":"Hor\u010d\u00edk","year":"2005","journal-title":"Archive for Mathematical Logic"},{"issue":"6","key":"10.1016\/S1874-5857(07)80009-4_bib228","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1016\/j.fss.2006.11.009","article-title":"On the Failure of Standard Completeness in nMTL for Infinite Theories","volume":"158","author":"Hor\u010d\u00edk","year":"2007","journal-title":"Fuzzy Sets and Systems"},{"issue":"4","key":"10.1016\/S1874-5857(07)80009-4_bib229","doi-asserted-by":"crossref","first-page":"477","DOI":"10.1007\/s00153-004-0214-6","article-title":"Product Lukasiewicz logic","volume":"43","author":"Hor\u010d\u00edk","year":"2004","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib230","series-title":"Measuring inconsistency in knowledge via quasi-classical models Proc. 18th National Conference on Artificial Intelligence","author":"Hunter","year":"2002"},{"issue":"2","key":"10.1016\/S1874-5857(07)80009-4_bib231","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1015122331293","article-title":"A proof of standard completeness for Esteva and Godo's logic MTL","volume":"70","author":"Jenei","year":"2002","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(07)80009-4_bib232","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\/S1874-5857(07)80009-4_bib233","series-title":"Non-Classical Logics and Their Applications to Fuzzy Subsets. A Handbook of the Mathematical Foundations of Fussy Sets Theory","first-page":"271","article-title":"Prolog extensions to many-valued logics","author":"Klawonn","year":"1995"},{"key":"10.1016\/S1874-5857(07)80009-4_bib234","first-page":"5","article-title":"A Lukasiewicz logic based Prolog","volume":"1","author":"Klawonn","year":"1994","journal-title":"Mathware and Soft Computing"},{"key":"10.1016\/S1874-5857(07)80009-4_bib235","doi-asserted-by":"crossref","first-page":"331","DOI":"10.1016\/0165-0114(96)83710-9","article-title":"The relation between inference and interpolation in the framework of fuzzy systems","volume":"81","author":"Klawonn","year":"1996","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib236","series-title":"Introduction to Metamathematics","author":"Kleene","year":"1952"},{"key":"10.1016\/S1874-5857(07)80009-4_bib237","series-title":"Proc. of 2nd International Linz Seminar on Fuzzy Set Theory","first-page":"125","article-title":"Some remarks on t-norms, fuzzy \u03c3-algebras and fuzzy measures","author":"Klement","year":"1980"},{"key":"10.1016\/S1874-5857(07)80009-4_bib238","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1016\/S0165-0114(98)00167-5","article-title":"A survey of different triangular norm-based fuzzy logic","volume":"101","author":"Klement","year":"1999","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib239","series-title":"Triangular Norms","author":"Klement","year":"2000"},{"key":"10.1016\/S1874-5857(07)80009-4_bib240","series-title":"Proc. of the 1998 Conf. on Knowledge Representation and Reasoning Principles (KR-98)","first-page":"488","article-title":"On the logic of merging","author":"Konieczny","year":"1998"},{"key":"10.1016\/S1874-5857(07)80009-4_bib241","series-title":"Proc. of the 8th International Conference, Principles of Knowledge Representation and Reasoning (KR2002)","first-page":"97","article-title":"Distance-based merging: A general framework and some complexity results","author":"Konieczny","year":"2002"},{"issue":"March","key":"10.1016\/S1874-5857(07)80009-4_bib242","first-page":"1","article-title":"Residuated lattices: An algebraic glimpse at logics withoutcontraction","author":"Kowalski","year":"2001","journal-title":"JAIST Report"},{"issue":"1-2","key":"10.1016\/S1874-5857(07)80009-4_bib243","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1016\/0004-3702(90)90101-5","article-title":"Nonmonotonic Reasoning, Preferential Models and Cumulative Logics","volume":"44","author":"Kraus","year":"1990","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1874-5857(07)80009-4_bib244","series-title":"Uncertainty and Fusion","first-page":"381","article-title":"A logic of supporters. In: Information","author":"Lafage","year":"2000"},{"key":"10.1016\/S1874-5857(07)80009-4_bib245","series-title":"D\u00e9duction Automatique et Applications","article-title":"Logique Possibiliste: Aspects Formels","author":"Lang","year":"1991"},{"key":"10.1016\/S1874-5857(07)80009-4_bib246","first-page":"179","article-title":"Possibilistic logic: complexity and algorithms","volume":"Vol. 5","author":"Lang","year":"2001"},{"key":"10.1016\/S1874-5857(07)80009-4_bib247","series-title":"Proc. of the 7th Conf. on Uncertainty in Artificial Intelligence","first-page":"188","article-title":"A logic of graded possibility and certainty coping with partial inconsistency","author":"Lang","year":"1991"},{"issue":"1","key":"10.1016\/S1874-5857(07)80009-4_bib248","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/321679.321688","article-title":"Fuzzy logic and the resolution principle","volume":"19","author":"Lee","year":"1972","journal-title":"Journal of the ACM"},{"issue":"5","key":"10.1016\/S1874-5857(07)80009-4_bib249","doi-asserted-by":"crossref","first-page":"417","DOI":"10.1016\/S0019-9958(71)90684-X","article-title":"Some properties of fuzzy logic","volume":"19","author":"Lee","year":"1971","journal-title":"Information and Control"},{"key":"10.1016\/S1874-5857(07)80009-4_bib250","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0004-3702(92)90041-U","article-title":"What does a conditional knowledge base entail","volume":"55","author":"Lehmann","year":"1992","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1874-5857(07)80009-4_bib251","series-title":"On resolution-based theorem proving in propositional fuzzy logic with \u2018bold\u2019 connectives","author":"Lehmke","year":"1995"},{"key":"10.1016\/S1874-5857(07)80009-4_bib252","article-title":"Logics which Allow Degrees of Truth and Degrees of Validity","author":"Lehmke","year":"2001"},{"key":"10.1016\/S1874-5857(07)80009-4_bib253","series-title":"Discovering the World with Fuzzy Logic","first-page":"192","article-title":"Degrees of Truth and Degrees of Validity","author":"Lehmke","year":"2001"},{"key":"10.1016\/S1874-5857(07)80009-4_bib254","series-title":"Counterfactuals","author":"Lewis","year":"1973"},{"key":"10.1016\/S1874-5857(07)80009-4_bib255","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1007\/BF00262950","article-title":"Counterfactuals and comparative possibility","volume":"2","author":"Lewis","year":"1973","journal-title":"J. Philosophical Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib256","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1142\/S0218488598000306","article-title":"Possibilistic residuated implications logics with applications","volume":"6","author":"Liau","year":"1998","journal-title":"Int. J. Uncertainty, Fuzziness, and Knowledge-based Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib257","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/S0888-613X(98)10027-0","article-title":"On the possibility theory-based semantics for logics of preference","volume":"20","author":"Liau","year":"1999","journal-title":"International J. Approximate Reasoning"},{"issue":"2","key":"10.1016\/S1874-5857(07)80009-4_bib258","doi-asserted-by":"crossref","first-page":"351","DOI":"10.1142\/S0218001488000212","article-title":"Fuzzy logic with equality","volume":"2","author":"Liau","year":"1988","journal-title":"International Journal Pattern Recognition and Artificial Intelligence"},{"key":"10.1016\/S1874-5857(07)80009-4_bib259","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1016\/0888-613X(93)90019-A","article-title":"Proof methods for reasoning about possibility and necessity","volume":"9","author":"Liau","year":"1993","journal-title":"Int. J. of Approximate Reasoning"},{"key":"10.1016\/S1874-5857(07)80009-4_bib260","doi-asserted-by":"crossref","first-page":"163","DOI":"10.1016\/S0004-3702(96)00013-6","article-title":"Possibilistic reasoning: a mini-survey and uniform semantics","volume":"88","author":"Liau","year":"1996","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1874-5857(07)80009-4_bib261","first-page":"170","article-title":"O logice trojwartosciowej (On three-valued logic)","volume":"5","author":"\u0141ukasiewicz","year":"1920","journal-title":"Ruch filozoficzny"},{"key":"10.1016\/S1874-5857(07)80009-4_bib262","series-title":"Studies in Logic and the Foundations of Mathematics","first-page":"153","article-title":"Philosophical remarks on many-valued systems of propositional logic, 1930","author":"\u0141ukasiewicz","year":"1970"},{"key":"10.1016\/S1874-5857(07)80009-4_bib263","series-title":"Studies in Logic and the Foundations of Mathematics","article-title":"Selected Works","author":"\u0141ukasiewicz","year":"1970"},{"key":"10.1016\/S1874-5857(07)80009-4_bib264","series-title":"Proc. of the 2nd International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML 2006)","first-page":"89","article-title":"Fuzzy description logic programs under the answer set semantics for the semantic web","author":"\u0141ukasiewicz","year":"2006"},{"key":"10.1016\/S1874-5857(07)80009-4_bib265","doi-asserted-by":"crossref","first-page":"1182","DOI":"10.1109\/TC.1977.1674779","article-title":"Application of fuzzy logic to approximate reasoning using linguistic systems","volume":"26","author":"Mamdani","year":"1977","journal-title":"IEEE Trans. on Comput"},{"issue":"Issue 2","key":"10.1016\/S1874-5857(07)80009-4_bib266","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/j.ijar.2006.03.002","article-title":"Possibilistic conditioning framed in fuzzy logics","volume":"Vol. 43","author":"Marchioni","year":"2006","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.1016\/S1874-5857(07)80009-4_bib267","series-title":"Proc. of the 11th IPMU International Conference","first-page":"1588","article-title":"A note on definability in Lni\/2","author":"Marchioni","year":"2006"},{"key":"10.1016\/S1874-5857(07)80009-4_bib268","unstructured":"Marchioni and Montagna, to appear] E. Marchioni and F. Montagna. Complexity and definability issues in \u0141II\u00bd. Journal of Logicand Computation, doi:10.1093\/logcom\/ex1044, to appear."},{"key":"10.1016\/S1874-5857(07)80009-4_bib269","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2268660","article-title":"A theorem about infinite-valued sentencial logic","volume":"16","author":"McNaughton","year":"1951","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib270","series-title":"Proc of Logic Programming and Non-Monotonic Reasoning","first-page":"351","article-title":"Multi-adjoint logic programming with continuous semantics","volume":"2173","author":"Medina","year":"2001"},{"key":"10.1016\/S1874-5857(07)80009-4_bib271","series-title":"Uncertain Rule-Based Fuzzy Logic Systems: Introduction and New Directions","author":"Mendel","year":"2000"},{"key":"10.1016\/S1874-5857(07)80009-4_bib272","first-page":"413","article-title":"Goal-directed calculi for G\u00f6delDummett logics","volume":"volume 2803","author":"Metcalfe","year":"2003"},{"issue":"7","key":"10.1016\/S1874-5857(07)80009-4_bib273","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1007\/s00153-004-0225-3","article-title":"Analytic proof calculi for product logics","volume":"43","author":"Metcalfe","year":"2004","journal-title":"Archive for Mathematical Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib274","first-page":"85799","article-title":"Goal-directed methods for \u0141ukasiewicz logics","volume":"volume 3210","author":"Metcalfe","year":"2004"},{"issue":"3","key":"10.1016\/S1874-5857(07)80009-4_bib275","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1145\/1071596.1071600","article-title":"Sequent and Hypersequent Calculi for \u0141ukasiewicz and Abelian Logics","volume":"6","author":"Metcalfe","year":"2005","journal-title":"ACM Transactions on Computational Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib276","unstructured":"[Metcalfe et al, to appear] G. Metcalfe, N. Olivetti, and D. Gabbay. Proof Theory for Fuzzy Logics. Book in preparation for Research Studies Press."},{"issue":"n. 5","key":"10.1016\/S1874-5857(07)80009-4_bib277","first-page":"345","article-title":"Fuzzy Topologies","volume":"vol. II","author":"Mich\u00e1lek","year":"1975","journal-title":"Kibernetika"},{"key":"10.1016\/S1874-5857(07)80009-4_bib278","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1016\/S0019-9958(76)80011-3","article-title":"Some properties of fuzzy sets of type 2","volume":"31","author":"Mizumoto","year":"1976","journal-title":"Information Control"},{"key":"10.1016\/S1874-5857(07)80009-4_bib279","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/S0165-0114(82)80004-3","article-title":"Comparison of fuzzy reasoning methods","volume":"8","author":"Mizumoto","year":"1982","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib280","series-title":"Essais sur les Logiques Non Chrysippiennes","first-page":"157","article-title":"La logique des concepts nuancs","author":"Moisil","year":"1972"},{"key":"10.1016\/S1874-5857(07)80009-4_bib281","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1023\/A:1008322226835","article-title":"An algebraic approach to propositional fuzzy logic","volume":"9","author":"Montagna","year":"2000","journal-title":"Journal of Language, Logic and Information"},{"key":"10.1016\/S1874-5857(07)80009-4_bib282","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1006\/jabr.2000.8633","article-title":"Functorial representation of MV\u03a0\u2033algebras with additional operations","volume":"238","author":"Montagna","year":"2001","journal-title":"Journal of Algebra"},{"key":"10.1016\/S1874-5857(07)80009-4_bib283","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/s00012-005-1923-3","article-title":"Subreducts of MV-algebras with product and product residuation","volume":"53","author":"Montagna","year":"2005","journal-title":"Algebra Universalis"},{"issue":"2","key":"10.1016\/S1874-5857(07)80009-4_bib284","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1023\/A:1016500922708","article-title":"Kripke semantics, undecidability and standard completeness for Esteva and Godo's logic MTLV","volume":"71","author":"Montagna","year":"2002","journal-title":"Studia Logica"},{"key":"10.1016\/S1874-5857(07)80009-4_bib285","doi-asserted-by":"crossref","first-page":"365","DOI":"10.1016\/S0022-4049(00)00169-9","article-title":"Adding structure to MV-algebras","volume":"164","author":"Montagna","year":"2001","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"4","key":"10.1016\/S1874-5857(07)80009-4_bib286","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"},{"issue":"Issue 2","key":"10.1016\/S1874-5857(07)80009-4_bib287","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/S0165-0114(01)00089-6","article-title":"On generalized modus ponens with multiple rules and a residuated implication","volume":"Volume 129","author":"Morsi","year":"2002","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib288","doi-asserted-by":"crossref","first-page":"117","DOI":"10.2307\/1969668","article-title":"On the structure of semigroups on a compact manifold with boundary","volume":"65","author":"Mostert","year":"1957","journal-title":"Ann. Math."},{"key":"10.1016\/S1874-5857(07)80009-4_bib289","series-title":"Between Mind And Computer Fuzzy Science and Engineering","first-page":"225","article-title":"Foundations of fuzzy logic programming","author":"Mukaidono","year":"1993"},{"key":"10.1016\/S1874-5857(07)80009-4_bib290","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1016\/0888-613X(89)90005-4","article-title":"Fundamentals of fuzzy Prolog","volume":"3","author":"Mukaidono","year":"1989","journal-title":"International Journal of Approximate Reasoning"},{"issue":"2","key":"10.1016\/S1874-5857(07)80009-4_bib291","doi-asserted-by":"crossref","first-page":"596","DOI":"10.2307\/2275410","article-title":"A constructive proof of McNaughton's theorem in infinite-valued logic","volume":"59","author":"Mundici","year":"1994","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib292","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1108\/eb005392","article-title":"Representation theorems for fuzzy concepts","volume":"4","author":"Negoita","year":"1975","journal-title":"Kybernetes"},{"key":"10.1016\/S1874-5857(07)80009-4_bib293","doi-asserted-by":"crossref","first-page":"71","DOI":"10.1016\/0004-3702(86)90031-7","article-title":"Probabilistic Logic","volume":"28","author":"Nilsson","year":"1974","journal-title":"Artificial Intelligence"},{"key":"10.1016\/S1874-5857(07)80009-4_bib294","series-title":"Cybernetics and Systems'88","first-page":"627","article-title":"An alternative approach for specifying fuzzy linguistic truth values: truth as a distance","author":"Niskanen","year":"1988"},{"key":"10.1016\/S1874-5857(07)80009-4_bib295","article-title":"Algebraic study of axiomatic study of t-norm based fuzzy logics","author":"Noguera","year":"2006"},{"key":"10.1016\/S1874-5857(07)80009-4_bib296","first-page":"47","article-title":"On the syntactico-semantical completeness of first-order fuzzy logic. Part I: Syntax and Semantics","volume":"26","author":"Nov\u00e1k","year":"1990","journal-title":"Kybernetika"},{"key":"10.1016\/S1874-5857(07)80009-4_bib297","first-page":"134","article-title":"On the syntactico-semantical completeness of first-order fuzzy logic. Part II: Main results","volume":"26","author":"Nov\u00e1k","year":"1990","journal-title":"Kybernetika"},{"key":"10.1016\/S1874-5857(07)80009-4_bib298","series-title":"Fuzzy Sets in Approximate Reasoning and Information Systems","first-page":"191","article-title":"Weighted inference systems","author":"Nov\u00e1k","year":"1999"},{"key":"10.1016\/S1874-5857(07)80009-4_bib299","doi-asserted-by":"crossref","first-page":"668","DOI":"10.1007\/s00500-003-0324-9","article-title":"On fuzzy equality and approximation in fuzzy logic","volume":"8","author":"Nov\u00e1k","year":"2004","journal-title":"Soft Computing"},{"issue":"2","key":"10.1016\/S1874-5857(07)80009-4_bib300","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1016\/j.fss.2004.03.027","article-title":"On fuzzy type theory","volume":"149","author":"Nov\u00e1k","year":"2005","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib301","series-title":"Special section \u201cWhat is Fuzzy Logic\u201d","first-page":"595","volume":"157 sn5","year":"2006"},{"issue":"15","key":"10.1016\/S1874-5857(07)80009-4_bib302","doi-asserted-by":"crossref","first-page":"2003","DOI":"10.1016\/j.fss.2006.02.011","article-title":"Logical structure of fuzzy IFTHEN rules","volume":"157","author":"Nov\u00e1k","year":"2006","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib303","series-title":"Discovering the World with Fuzzy Logic, Studies in Fuzziness and Soft Computing","first-page":"271","article-title":"Some consequences of Herbrand and McNaughton theorems in fuzzy logic","author":"Nov\u00e1k","year":"2000"},{"key":"10.1016\/S1874-5857(07)80009-4_bib304","series-title":"Mathematical Principles of Fuzzy Logic","article-title":"Irina Perfilieva, and Jir\u00ed Mockor","author":"Nov\u00e1k","year":"1999"},{"key":"10.1016\/S1874-5857(07)80009-4_bib305","doi-asserted-by":"crossref","first-page":"169","DOI":"10.2307\/2273798","article-title":"Logics without the contraction rule","volume":"50","author":"Ono","year":"1985","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib306","series-title":"Language, Logic and Method","first-page":"241","article-title":"The problem of vague predicates","author":"Parikh","year":"1983"},{"key":"10.1016\/S1874-5857(07)80009-4_sbref3030","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/malq.19790250304","article-title":"On Fuzzy Logic I, II, III. Zeitschrift fur Math","volume":"25","author":"Pavelka","year":"1979","journal-title":"Logik und Grundlagen der Math."},{"key":"10.1016\/S1874-5857(07)80009-4_sbref3040","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1002\/malq.19790250706","article-title":"On Fuzzy Logic I, II, III. Zeitschrift fur Math","volume":"25","author":"Pavelka","year":"1979","journal-title":"Logik und Grundlagen der Math."},{"key":"10.1016\/S1874-5857(07)80009-4_sbref3050","doi-asserted-by":"crossref","first-page":"447","DOI":"10.1002\/malq.19790252510","article-title":"On Fuzzy Logic I, II, III. Zeitschrift fur Math","volume":"25","author":"Pavelka","year":"1979","journal-title":"Logik und Grundlagen der Math."},{"key":"10.1016\/S1874-5857(07)80009-4_bib308","series-title":"Rough Sets: Theoretical Aspects of Reasoning About Data","author":"Pawlak","year":"1991"},{"key":"10.1016\/S1874-5857(07)80009-4_bib309","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1016\/S0165-0114(02)00382-2","article-title":"On equivalent forms of fuzzy logic systems NM and IMTL","volume":"138","author":"Pei","year":"2003","journal-title":"Fuzzy Sets and Systems"},{"issue":"1","key":"10.1016\/S1874-5857(07)80009-4_bib310","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/j.fss.2003.06.009","article-title":"Normal forms in BL-algebra and their contribution to universal approximation of functions","volume":"143","author":"Perfilieva","year":"2004","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib311","series-title":"Patterns of Plausible Inference","author":"Polya","year":"1954"},{"key":"10.1016\/S1874-5857(07)80009-4_bib312","first-page":"58","article-title":"Unions et intersections d'ensembles flous","volume":"3","author":"Prade","year":"1980","journal-title":"Busefal"},{"key":"10.1016\/S1874-5857(07)80009-4_bib313","article-title":"Mod\u00e8les Math\u00e9matiques de l'Impr\u00e9cis et de l'Incertain en vue d'Applications au Raisonnement Naturel","author":"Prade","year":"1982"},{"issue":"3","key":"10.1016\/S1874-5857(07)80009-4_bib314","doi-asserted-by":"crossref","first-page":"260","DOI":"10.1109\/TPAMI.1985.4767656","article-title":"A computational approach to approximate and plausible reasoning with applications to expert systems","volume":"7","author":"Prade","year":"1985","journal-title":"IEEE Trans. on Pattern Analysis and Machine Intelligence"},{"issue":"2","key":"10.1016\/S1874-5857(07)80009-4_bib315","first-page":"29","article-title":"Raisonner avec des r\u00e8gles d'inf\u00e9rence graduelle - Une approche bas\u00e9e sur les ensembles flous","volume":"2","author":"Prade","year":"1988","journal-title":"Revue d'Intelligence Artificielle (Herm\u00e8s, Paris)"},{"key":"10.1016\/S1874-5857(07)80009-4_bib316","series-title":"An Algebraic Approach to Non-Classical Logics","author":"Rasiowa","year":"1974"},{"key":"10.1016\/S1874-5857(07)80009-4_bib317","series-title":"The theory of probability","author":"Reichenbach","year":"1949"},{"key":"10.1016\/S1874-5857(07)80009-4_bib318","series-title":"Plausible Reasoning","author":"Rescher","year":"1976"},{"key":"10.1016\/S1874-5857(07)80009-4_bib319","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF00154005","article-title":"On inference from inconsistent premises","volume":"1","author":"Rescher","year":"1970","journal-title":"Theory and Decision"},{"key":"10.1016\/S1874-5857(07)80009-4_bib320","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1016\/S0888-613X(03)00016-1","article-title":"On Implicative Closure Operators in Approximate Reasoning","volume":"33","author":"Rodr\u00edguez","year":"2003","journal-title":"International Journal of Approximate Reasoning"},{"key":"10.1016\/S1874-5857(07)80009-4_bib321","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1090\/S0002-9947-1958-0094299-1","article-title":"Fragments of many-valued statement calculi","volume":"87","author":"Rose","year":"1958","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1874-5857(07)80009-4_bib322","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0888-613X(91)90006-8","article-title":"On the semantics of fuzzy logic","volume":"5","author":"Ruspini","year":"1991","journal-title":"Int. J. of Approximate Reasoning"},{"key":"10.1016\/S1874-5857(07)80009-4_bib323","first-page":"84","article-title":"Vagueness","volume":"1","author":"Russell","year":"1923","journal-title":"Austr. J. of Philosophy"},{"key":"10.1016\/S1874-5857(07)80009-4_bib324","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1016\/0020-0255(78)90021-X","article-title":"On possibility-qualification in natural languages","volume":"15","author":"Sanchez","year":"1978","journal-title":"Information Sciences"},{"issue":"2","key":"10.1016\/S1874-5857(07)80009-4_bib325","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1093\/logcom\/exi075","article-title":"On product logic with truth constants","volume":"16","author":"Savick\u00e9","year":"2006","journal-title":"Journal of Logic and Computation"},{"key":"10.1016\/S1874-5857(07)80009-4_bib326","series-title":"Proc. of the 5th Intl. Symposium on Multiple-valued Logic (ISMVL-75)","first-page":"176","article-title":"Fuzzy modal logic","author":"Schotch","year":"1975"},{"key":"10.1016\/S1874-5857(07)80009-4_bib327","doi-asserted-by":"crossref","first-page":"69","DOI":"10.5486\/PMD.1963.10.1-4.09","article-title":"Associative functions and abstract semigroups","volume":"10","author":"Schweizer","year":"1963","journal-title":"Publ. Math. Debrecen"},{"key":"10.1016\/S1874-5857(07)80009-4_bib328","series-title":"Probabilistic metric spaces","author":"Schweizer","year":"1983"},{"key":"10.1016\/S1874-5857(07)80009-4_bib329","series-title":"Decision, Order and Time in Human Affairs","author":"Shackle","year":"1961"},{"key":"10.1016\/S1874-5857(07)80009-4_bib330","series-title":"A mathematical theory of evidence","author":"Shafer","year":"1975"},{"key":"10.1016\/S1874-5857(07)80009-4_bib331","first-page":"210","article-title":"Fuzzy resolution principle","author":"Shen","year":"1988"},{"key":"10.1016\/S1874-5857(07)80009-4_bib332","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1016\/0888-613X(87)90023-5","article-title":"Implication in fuzzy logic","volume":"1","author":"Smets","year":"1987","journal-title":"Int. J. of Approximate Reasoning"},{"key":"10.1016\/S1874-5857(07)80009-4_bib333","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/0165-0114(88)90100-5","article-title":"The measure of the degree of truth and the grade of membership","volume":"25","author":"Smets","year":"1988","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib334","first-page":"149","article-title":"A general non-probabilistic theory of inductive reasoning","volume":"4","author":"Spohn","year":"1980"},{"key":"10.1016\/S1874-5857(07)80009-4_bib335","series-title":"Proc. 15th National Conf. on Artificial Intelligence (AAAI'98) and 10th Conf. on Innovative Applications of Artificial Intelligence (IAAI'98)","first-page":"594","article-title":"A fuzzy description logic","author":"Straccia","year":"1998"},{"key":"10.1016\/S1874-5857(07)80009-4_bib336","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1613\/jair.813","article-title":"Reasoning within fuzzy description logics","volume":"14","author":"Straccia","year":"2001","journal-title":"J. of Artif. Intellig. Research"},{"key":"10.1016\/S1874-5857(07)80009-4_bib337","series-title":"Capturing Intelligence: Fuzzy Logic and the Semantic Web","doi-asserted-by":"crossref","DOI":"10.1016\/S1574-9576(06)80006-7","article-title":"A fuzzy description logic for the semantic web","author":"Straccia","year":"2006"},{"key":"10.1016\/S1874-5857(07)80009-4_bib338","series-title":"Capturing Intelligence: Fuzzy Logic and the Semantic Web","doi-asserted-by":"crossref","DOI":"10.1016\/S1574-9576(06)80009-2","article-title":"Uncertainty and description logic programs over lattices","author":"Straccia","year":"2006"},{"issue":"1","key":"10.1016\/S1874-5857(07)80009-4_bib339","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1142\/S0218488506003807","article-title":"Description logics over lattices","volume":"14","author":"Straccia","year":"2006","journal-title":"International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib340","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0165-0114(93)90323-A","article-title":"Similarity, interpolation, and fuzzy rule construction","volume":"58","author":"Sudkamp","year":"1993","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib341","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1016\/0020-0255(85)90026-X","article-title":"An introductory survey of fuzzy control","volume":"36","author":"Sugeno","year":"1985","journal-title":"Information Sciences"},{"key":"10.1016\/S1874-5857(07)80009-4_bib342","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1016\/S0165-0114(83)80030-X","article-title":"Multi-dimensional fuzzy reasoning","volume":"9","author":"Sugeno","year":"1983","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib343","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":"Archive for Mathematical Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib344","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 Mathematik Physik"},{"key":"10.1016\/S1874-5857(07)80009-4_bib345","first-page":"1945","article-title":"On \u2018bold\u2019 resolution theory","author":"Thiele","year":"1994"},{"key":"10.1016\/S1874-5857(07)80009-4_bib346","series-title":"Proc. of the 13th European Conference on Artificial Intelligence (ECAI'98)","first-page":"361","article-title":"A description logic for vague knowledge","author":"Tresp","year":"1998"},{"issue":"1","key":"10.1016\/S1874-5857(07)80009-4_sbref3450","first-page":"47","article-title":"Sobre funciones de negacin en la teora de conjuntos difusos (in Spanish),","volume":"III","author":"Trillas","year":"1979","journal-title":"Stochastica"},{"key":"10.1016\/S1874-5857(07)80009-4_sbref3460","first-page":"31","article-title":"On negation functions in fuzzy set theory, Advances of Fuzzy Logic","year":"1998"},{"key":"10.1016\/S1874-5857(07)80009-4_bib348","series-title":"Proc. of the 3rd Inter. Seminar on Fuzzy Set Theory","first-page":"173","article-title":"On some functionally expressable implications for fuzzy set theory","author":"Trillas","year":"1981"},{"key":"10.1016\/S1874-5857(07)80009-4_bib349","series-title":"Management Decision Support Systems using Fuzzy Sets and Possibility Theory","first-page":"198","article-title":"On implication and indistinguishability in the setting of fuzzy logic","author":"Trillas","year":"1985"},{"key":"10.1016\/S1874-5857(07)80009-4_bib350","first-page":"567","article-title":"Efficient inference procedures with fuzzy inputs","author":"Ughetto","year":"1997"},{"key":"10.1016\/S1874-5857(07)80009-4_bib351","series-title":"Handbook of Philosophical Logic: Volume III, Alternatives to Classical Logic","first-page":"71","article-title":"Many-Valued Logic","author":"Urquhart","year":"1986"},{"key":"10.1016\/S1874-5857(07)80009-4_bib352","first-page":"294","article-title":"On modus ponens in fuzzy logic","volume":"ISMVL-85","author":"Valverde","year":"1985"},{"key":"10.1016\/S1874-5857(07)80009-4_bib353","doi-asserted-by":"crossref","first-page":"121","DOI":"10.20965\/jaciii.1998.p0121","article-title":"Fuzzy reasoning with tunable t-operators","volume":"2","author":"Vojt\u00e1\u0161","year":"1998","journal-title":"Journal for Advanced Computer Intelligence"},{"issue":"3","key":"10.1016\/S1874-5857(07)80009-4_bib354","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1016\/S0165-0114(01)00106-3","article-title":"Fuzzy logic programming","volume":"124","author":"Vojt\u00e1\u0161","year":"2001","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib355","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1016\/S0020-0255(98)10103-2","article-title":"On the logic foundation of fuzzy reasoning","volume":"117","author":"Wang","year":"1999","journal-title":"Information Sciences"},{"key":"10.1016\/S1874-5857(07)80009-4_bib356","series-title":"Non-classical Mathematical Logic and Approximate Reasoning","author":"Wang","year":"2000"},{"key":"10.1016\/S1874-5857(07)80009-4_bib357","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1016\/S0165-0114(03)00138-6","article-title":"A characterization of truth-functions in the nilpotent minimum logic","volume":"Volume 145","author":"San-Min Wang","year":"2004","journal-title":"Fuzzy Sets and Systems"},{"issue":"2","key":"10.1016\/S1874-5857(07)80009-4_bib358","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1016\/j.fss.2004.01.005","article-title":"A fuzzy logic for an ordinal sum t-norm","volume":"149","author":"Wang","year":"2005","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib359","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1016\/j.fss.2003.12.005","article-title":"NML, a schematic extension of F. Esteva and L. Godo's logic MTL","volume":"149","author":"Wang","year":"2005","journal-title":"Fuzzy Sets Syst"},{"key":"10.1016\/S1874-5857(07)80009-4_bib360","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/S0165-0114(83)80073-6","article-title":"A general concept of fuzzy connectives, negations and implications based on t-norms and t-co-norms","volume":"11","author":"Weber","year":"1983","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib361","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/BF00257839","article-title":"]Aroximate truth","volume":"16","author":"Weston","year":"1987","journal-title":"J. Philos. Logic"},{"key":"10.1016\/S1874-5857(07)80009-4_bib362","doi-asserted-by":"crossref","first-page":"2","DOI":"10.2307\/2306078","article-title":"Mathematic and logic","volume":"53","author":"Weyl","year":"1946","journal-title":"Amer. Math. Month."},{"key":"10.1016\/S1874-5857(07)80009-4_sbref3620","series-title":"Parameterized R-implications Fuzzy Sets and Systems","first-page":"134","author":"Whalen","year":"2003"},{"key":"10.1016\/S1874-5857(07)80009-4_sbref3630","series-title":"Parameterized R-implications Fuzzy Sets and Systems","first-page":"231","author":"Whalen","year":"2003"},{"key":"10.1016\/S1874-5857(07)80009-4_bib364","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/S0020-7373(83)80042-X","article-title":"Issues in fuzzy production systems","volume":"19","author":"Whalen","year":"1983","journal-title":"Int. J. of Man-Machine Studies"},{"key":"10.1016\/S1874-5857(07)80009-4_bib365","doi-asserted-by":"crossref","unstructured":"T. Whalen, B. Schott, Alternative logics for approximate reasoning in expert systems: A comparative study, Int. J. of Man-MachineStudies, 22, 327\u2013346.","DOI":"10.1016\/S0020-7373(85)80007-9"},{"key":"10.1016\/S1874-5857(07)80009-4_bib366","series-title":"Theory of Logical Calculi: Basic Theory of Consequence Operations","author":"W\u00f3jcicki","year":"1988"},{"key":"10.1016\/S1874-5857(07)80009-4_bib367","doi-asserted-by":"crossref","first-page":"246","DOI":"10.3233\/HSM-1982-3404","article-title":"An introduction to applications of possibility theory","volume":"3","author":"Yager","year":"1983","journal-title":"Human Systems Management"},{"key":"10.1016\/S1874-5857(07)80009-4_bib368","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0165-0114(83)80075-X","article-title":"Some relationships between possibility, truth and certainty","volume":"11","author":"Yager","year":"1983","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib369","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/S0020-7373(85)80022-5","article-title":"Inference in a multivalued logic system","volume":"23","author":"Yager","year":"1985","journal-title":"International Journal ManMachine Studies"},{"key":"10.1016\/S1874-5857(07)80009-4_bib370","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1080\/01969728508927755","article-title":"Strong truth and rules of inference in fuzzy logic and approximate reasoning","volume":"16","author":"Yager","year":"1985","journal-title":"Cybernetics and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib371","series-title":"Proc. of the 12th International Joint Conference on Artificial Intelligence (IJCAI'91)","first-page":"472","article-title":"Generalizing term subsumption languages to fuzzy logic","author":"Yen","year":"1991"},{"issue":"n. 3","key":"10.1016\/S1874-5857(07)80009-4_bib372","doi-asserted-by":"crossref","first-page":"830","DOI":"10.2307\/2275910","article-title":"A Logic for Approximate Reasoning","volume":"59","author":"Ying","year":"1994","journal-title":"Journal of Symbolic Logic, vol."},{"key":"10.1016\/S1874-5857(07)80009-4_bib373","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":"Information and Control,"},{"key":"10.1016\/S1874-5857(07)80009-4_bib374","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1080\/01969727208542910","article-title":"A fuzzy-set-theoretic interpretation of linguistic hedges","volume":"2","author":"Zadeh","year":"1972","journal-title":"J. of Cybernetics"},{"key":"10.1016\/S1874-5857(07)80009-4_bib375","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":"3","author":"Zadeh","year":"1973","journal-title":"IEEE Trans. on Systems, Man and Cybernetics"},{"key":"10.1016\/S1874-5857(07)80009-4_bib376","doi-asserted-by":"crossref","first-page":"407","DOI":"10.1007\/BF00485052","article-title":"Fuzzy Logic and approximate reasoning (In memory of Grigore Moisil)","volume":"30","author":"Zadeh","year":"1975","journal-title":"Synthese"},{"key":"10.1016\/S1874-5857(07)80009-4_bib377","first-page":"1","article-title":"Calculus of fuzzy restrictions, Fuzzy Sets and their Applications to Cognitive and Decision Processes","author":"Zadeh","year":"1975"},{"key":"10.1016\/S1874-5857(07)80009-4_bib378","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0020-0255(75)90017-1","article-title":"The concept of a linguistic variable and its application to approximate reasoning","author":"Zadeh","year":"1975","journal-title":"Information Sciences"},{"key":"10.1016\/S1874-5857(07)80009-4_bib379","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/S0020-7373(76)80001-6","article-title":"A fuzzy-algorithmic approach to the definition of complex or imprecise concepts","volume":"8","author":"Zadeh","year":"1976","journal-title":"Int. J. of Man-Machine Studies"},{"key":"10.1016\/S1874-5857(07)80009-4_bib380","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0165-0114(78)90029-5","article-title":"Fuzzy sets as a basis for a theory of possibility","volume":"1","author":"Zadeh","year":"1978","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib381","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1016\/S0020-7373(78)80003-0","article-title":"PRUF - A meaning representation language for natural languages","volume":"10","author":"Zadeh","year":"1978","journal-title":"Int. J. of Man-Machine Studies"},{"key":"10.1016\/S1874-5857(07)80009-4_bib382","first-page":"149","article-title":"A theory of approximate reasoning","volume":"volume 9","author":"Zadeh","year":"1979"},{"key":"10.1016\/S1874-5857(07)80009-4_bib383","series-title":"Advances in Fuzzy Set Theory and Applications","first-page":"3","article-title":"Fuzzy sets and information granularity","author":"Zadeh","year":"1979"},{"key":"10.1016\/S1874-5857(07)80009-4_bib384","first-page":"281","article-title":"Test score semantics for natural languages and meaning representation via PRUF","volume":"Vol. 1","author":"Zadeh","year":"1981"},{"key":"10.1016\/S1874-5857(07)80009-4_bib385","first-page":"39","article-title":"A computational theory of dispositions","volume":"2","author":"Zadeh","year":"1987","journal-title":"Int. J. of Intelligent Systems"},{"issue":"4","key":"10.1016\/S1874-5857(07)80009-4_bib386","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1109\/2.53","article-title":"Puzzy Logic","volume":"21","author":"Zadeh","year":"1988","journal-title":"IEEE Computer"},{"issue":"1","key":"10.1016\/S1874-5857(07)80009-4_bib387","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1109\/69.43406","article-title":"Knowledge Representation in Fuzzy Logic","volume":"1","author":"Zadeh","year":"1989","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"3","key":"10.1016\/S1874-5857(07)80009-4_bib388","first-page":"27","article-title":"The calculus of fuzzy if\/then rules","volume":"7","author":"Zadeh","year":"1992","journal-title":"AI Expert"},{"key":"10.1016\/S1874-5857(07)80009-4_bib389","article-title":"Preface in Fuzzy Logic technology and Applications","author":"Zadeh","year":"1994"},{"issue":"November issue","key":"10.1016\/S1874-5857(07)80009-4_bib390","doi-asserted-by":"crossref","first-page":"48","DOI":"10.1109\/52.329401","article-title":"Soft computing and fuzzy logic","author":"Zadeh","year":"1994","journal-title":"IEEE Software"},{"key":"10.1016\/S1874-5857(07)80009-4_bib391","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1109\/91.493904","article-title":"Fuzzy logic = Computing with words","volume":"4","author":"Zadeh","year":"1995","journal-title":"IEEE Trans. on Fuzzy Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib392","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/S0165-0114(97)00077-8","article-title":"Toward a theory of fuzzy information granulation and its centrality in human reasoning and fuzzy logic","volume":"90","author":"Zadeh","year":"1997","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/S1874-5857(07)80009-4_bib393","series-title":"RSFDGrC","first-page":"10","article-title":"A New Direction in System Analysis: From Computation with Measurements to Computation with Perceptions (Abstract)","author":"Zadeh","year":"1999"},{"issue":"1","key":"10.1016\/S1874-5857(07)80009-4_bib394","first-page":"73","article-title":"A New Direction in AI: Toward a Computational Theory of Perceptions","volume":"22","author":"Zadeh","year":"2001","journal-title":"AI Magazine"},{"key":"10.1016\/S1874-5857(07)80009-4_bib395","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.ins.2005.01.017","article-title":"Toward a generalized theory of uncertainty (GTU)-an outline","volume":"172","author":"Zadeh","year":"2005","journal-title":"Information Sciences"},{"key":"10.1016\/S1874-5857(07)80009-4_bib396","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1016\/j.ins.2003.05.010","article-title":"Yin Yang bipolar logic and bipolar fuzzy logic","volume":"165","author":"Zhang","year":"2004","journal-title":"Information Sciences"}],"container-title":["Handbook of the History of Logic","The Many Valued and Nonmonotonic Turn in Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1874585707800094?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1874585707800094?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T22:35:05Z","timestamp":1737412505000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1874585707800094"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780444516237"],"references-count":402,"URL":"https:\/\/doi.org\/10.1016\/s1874-5857(07)80009-4","relation":{},"ISSN":["1874-5857"],"issn-type":[{"value":"1874-5857","type":"print"}],"subject":[],"published":{"date-parts":[[2007]]}}}