Formal fuzzy logic/Bibliography


 * 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.