Formal fuzzy logic/Bibliography

From Citizendium, the Citizens' Compendium
Jump to: navigation, search
This article is developing and not approved.
Main Article
Talk
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
 
A list of key readings about Formal fuzzy logic.
Please sort and annotate in a user-friendly manner. For formatting, consider using automated reference wikification.
  • Ben I. Y., Berenstein A., Henson C. W., Usvyatsov A., Model theory for metric structures, to appear in a Newton Institute volume in the Lecture Notes series of the London Math. Society.
  • Biacino L., Gerla G., Ying M. S.: Approximate reasoning based on similarity, Math. Log. Quart., 46 (2000), 77-86.
  • Chang C. C.,Keisler H. J., Continuous Model Theory, Princeton University Press, Princeton, 1996.
  • Cignoli R., D’Ottaviano I. M. L. , Mundici D. , Algebraic Foundations of Many-Valued Reasoning. Kluwer, Dordrecht, 1999.
  • Elkan C.. The Paradoxical Success of Fuzzy Logic. November 1993. Available from Elkan's home page.
  • Hájek P., Fuzzy logic and arithmetical hierarchy, Fuzzy Sets and Systems, 3 (1995) 359-363.
  • Hájek P., Metamathematics of fuzzy logic. Kluwer 1998.
  • Hájek P., Arithmetical complexity of fuzzy predicate logics – a survey, Soft Computing, 9 (2005) 935-941.
  • Hájek P., On Vagueness, Truth Values and Fuzzy Logics, Studia Logica, 91 (2009) 367–382.
  • Klir G. and Folger T., Fuzzy Sets, Uncertainty, and Information (1988), ISBN 0-13-345984-5.
  • Klir G. and Bo Yuan, Fuzzy Sets and Fuzzy Logic (1995) ISBN 0-13-101171-5
  • Gerla G., Fuzzy logic: Mathematical Tools for Approximate Reasoning, Kluwer 2001 ISBN 0-7923-6941-6.
  • Gerla G., Effectiveness and Multivalued Logics, Journal of Symbolic Logic, 71 (2006) 137-162.
  • Goguen J. A., The logic of inexact concepts, Synthese, 19 (1968/69) 325-373.
  • Gottwald S., A Treatise on Many-Valued Logics, Studies in Logic and Computation, Research Studies Press, Baldock, 2001.
  • Gottwald S., Mathematical Fuzzy Logics, The Bulletin of Symbolic Logic, 14, 2 (2008) 210-239.
  • Montagna F., On the predicate logic of continuous t-norm BL-algebras, Archive for Math. Logic, 44 (2005) 97-114.
  • Novák V., Perfilieva I, Mockor J., Mathematical Principles of Fuzzy Logic, Kluwer Academic Publishers, Dordrecht, (1999).
  • Novák V., Fuzzy logic with countable evaluated syntax revisited, Fuzzy Sets and Systems, 158 (2007) 929-936.
  • Pavelka, On fuzzy logic, I-III, Zeitschr. Math. Logik Grundl. Math., 25 (1979) 45-52, 119-134, 447-464.
  • Santos E. S., Fuzzy algorithms, Inform. and Control, 17 (1970), 326-339.
  • Scarpellini B., Die Nichaxiomatisierbarkeit des unendlichwertigen Prädikatenkalküls von Łukasiewicz, J. of Symbolic Logic, 27 (1962), 159-170.
  • Wiedermann J. , Characterizing the super-Turing computing power and efficiency of classical fuzzy Turing machines, Theor. Comput. Sci. 317 (2004) 61-69.
  • Ying M. S., A logic for approximate reasoning, J. Symbolic Logic, 59 (1994).
  • Zadeh L. A., Fuzzy Sets, Information and Control, 8 (1965) 338­-353.
  • Zadeh L. A., Fuzzy algorithms, Information and Control, 5 (1968), 94-102.
  • Zimmermann H., Fuzzy Set Theory and its Applications (2001), ISBN 0-7923-7435-5.