Formal fuzzy logic/Bibliography

From Citizendium
Jump to navigation Jump to search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
This article is developing and not approved.
Main Article
Discussion
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.