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