Skip to main content Accessibility help
×
×
Home
An Introduction to Many-Valued and Fuzzy Logic
  • Get access
    Check if you have access via personal or institutional login
  • Cited by 25
  • Cited by
    This book has been cited by the following publications. This list is generated based on data provided by CrossRef.

    Giaquinta, M. Modica, G. and Souček, J. 2011. An extended propositional logic for incomplete knowledge. ANNALI DELL'UNIVERSITA' DI FERRARA, Vol. 57, Issue. 2, p. 287.

    MORGAN, JAMIE and OLSEN, WENDY 2011. Conceptual issues in institutional economics: clarifying the fluidity of rules. Journal of Institutional Economics, Vol. 7, Issue. 03, p. 425.

    Casabayó, Mònica and Agell, Núria 2012. E-Marketing. p. 368.

    Mattila, Jorma K. 2012. Zadeh algebra as the basis of Łukasiewicz logics. p. 1.

    Casabayó, Mònica and Agell, Núria 2012. Fuzzy Methods for Customer Relationship Management and Marketing. p. 291.

    Donzé, Laurent and Meier, Andreas 2013. Supply Chain Management. p. 1056.

    Baumgaertner, Bert 2014. Smooth Yet Discrete: Modeling Both Non-transitivity and the Smoothness of Graded Categories With Discrete Classification Rules. Minds and Machines, Vol. 24, Issue. 3, p. 353.

    Hudec, Miroslav 2016. Fuzziness in Information Systems. p. 1.

    Foglietti, Vittorio Yang, Nan Aruta, Carmela Di Pietrantonio, Fabio Cannatà, Domenico Benetti, Massimiliano and Balestrino, Giuseppe 2016. High plasticity reversible resistive switching in heteroepitaxial metal/CeO2−x/Nb:SrTiO3/Ti/Pt structures. Nanotechnology, Vol. 27, Issue. 37, p. 375705.

    Serafini, Luciano and d’Avila Garcez, Artur S. 2016. AI*IA 2016 Advances in Artificial Intelligence. Vol. 10037, Issue. , p. 334.

    Ding, Liya and Tweedale, Jeffrey W. 2016. Handling Knowledge Imperfection in Hybrid Logic Inference. Procedia Computer Science, Vol. 96, Issue. , p. 987.

    Lo, Kueiming Yin, Chongyuan and Luo, Jian 2016. Satisfiability Degree Analysis and Deductive Reasoning. IEEE Intelligent Systems, Vol. 31, Issue. 4, p. 30.

    Radzki, Mateusz M. 2017. On Axiom Systems of Słupecki for the Functionally Complete Three-Valued Logic. Axiomathes, Vol. 27, Issue. 4, p. 403.

    Serafini, Luciano Donadello, Ivan and Garcez, Artur d'Avila 2017. Learning and reasoning in logic tensor networks. p. 125.

    Al-Refai, Mohammed Cazzola, Walter and Ghosh, Sudipto 2017. A Fuzzy Logic Based Approach for Model-Based Regression Test Selection. p. 55.

    Cpałka, Krzysztof 2017. Design of Interpretable Fuzzy Systems. Vol. 684, Issue. , p. 1.

    Giuntini, Roberto Ledda, Antonio and Paoli, Francesco 2017. On Some Properties of PBZ*-Lattices. International Journal of Theoretical Physics, Vol. 56, Issue. 12, p. 3895.

    Pilarczyk, Kacper Kwolek, Przemysław Podborska, Agnieszka Gawęda, Sylwia Oszajca, Marek and Szaciłowski, Konrad 2017. Advances in Unconventional Computing. Vol. 23, Issue. , p. 429.

    Bonzio, Stefano Gil-Férez, José Paoli, Francesco and Peruzzi, Luisa 2017. On Paraconsistent Weak Kleene Logic: Axiomatisation and Algebraic Analysis. Studia Logica, Vol. 105, Issue. 2, p. 253.

    Karmakar, Sayantani and Karmakar, Supriya 2018. Image enhancement by the combination of multivalued logic and Savitzky–Golay filter. International Journal of Electronics Letters, p. 1.

    ×
  • Export citation
  • Recommend to librarian
  • Recommend this book

    Email your librarian or administrator to recommend adding this book to your organisation's collection.

    An Introduction to Many-Valued and Fuzzy Logic
    • Online ISBN: 9780511801129
    • Book DOI: https://doi.org/10.1017/CBO9780511801129
    Please enter your name
    Please enter a valid email address
    Who would you like to send this to *
    ×
  • Buy the print book

Book description

Professor Merrie Bergmann presents an accessible introduction to the subject of many-valued and fuzzy logic designed for use on undergraduate and graduate courses in non-classical logic. Bergmann discusses the philosophical issues that give rise to fuzzy logic - problems arising from vague language - and returns to those issues as logical systems are presented. For historical and pedagogical reasons, three-valued logical systems are presented as useful intermediate systems for studying the principles and theory behind fuzzy logic. The major fuzzy logical systems - Lukasiewicz, Gödel, and product logics - are then presented as generalisations of three-valued systems that successfully address the problems of vagueness. A clear presentation of technical concepts, this book includes exercises throughout the text that pose straightforward problems, that ask students to continue proofs begun in the text, and that engage students in the comparison of logical systems.

Reviews

Refine List

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Send to Kindle
  • Send to Dropbox
  • Send to Google Drive
  • Send content to

    To send content items to your account, please confirm that you agree to abide by our usage policies. If this is the first time you use this feature, you will be asked to authorise Cambridge Core to connect with your account. Find out more about sending content to .

    To send content items to your Kindle, first ensure no-reply@cambridge.org is added to your Approved Personal Document E-mail List under your Personal Document Settings on the Manage Your Content and Devices page of your Amazon account. Then enter the ‘name’ part of your Kindle email address below. Find out more about sending to your Kindle.

    Note you can select to send to either the @free.kindle.com or @kindle.com variations. ‘@free.kindle.com’ emails are free but can only be sent to your device when it is connected to wi-fi. ‘@kindle.com’ emails can be delivered even when you are not connected to wi-fi, but note that service fees apply.

    Find out more about the Kindle Personal Document Service.

    Please be advised that item(s) you selected are not available.
    You are about to send
    ×

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
×

Contents

Bibliography
Bibliography
Ackermann, Robert. 1967. Introduction to Many-Valued Logics. London: Routledge & Kegan Paul.
Aguzzoli, S., and Ciabattoni, A.. 2000. “Finiteness in Infinite-Valued Łukasiewicz Logic.” Journal of Logic, Language, and Information 9, pp. 5–29.
Baaz, Matthias. 1996. “Infinite-Valued Gödel Logics with 0–1-Projections and Relativizations.” In ed. Hájek, Petr, Gödel '96: Logical Foundations of Mathematics, Computer Science and Physics – Kurt Gödel's Legacy. New York: Springer, pp. 23–33.
Baaz, Matthias, Fermüller, Christian G., and Zach, Richard. 1993. “Systematic Construction of Natural Deduction Systems for Many-Valued Logics.” Proceedings of the 23rd International Symposium on Multiple Valued Logic. Los Alamitos, CA: IEEE Computer Society Press, pp. 208–213.
Baaz, Mathias, Hájek, Petr, Kraníček, Jan, and Švejda, David. 1998. “Embedding Logics into Product Logic.” Studia Logica 61, pp. 35–47.
Baaz, M., and Zach, R.. 1998. “Compact Propositional Gödel Logics.” Proceedings of the 28th International Symposium on Multiple-Valued Logic. Los Alamitos, CA: IEEE Computer Society Press, pp. 108–113.
Balbes, Raymond, and Dwinger, Philip. 1974. Distributive Lattices. Columbia: University of Missouri Press.
Beall, J. C., and Colyvan, Mark. 2001. “Heaps of Gluts and Hyde-ing the Sorities.” Mind 110, pp. 401–408.
Beall, J. C., and Fraassen, Bas C.. 2003. Possibilities and Paradox: An Introduction to Modal and Many-Valued Logic. New York: Oxford University Press.
Behounek, Libor. “A Model of Higher-Order Vagueness in Higher-Order Fuzzy Logic.” http://atlas-conferences.com/cgi-bin/abstract/casu-34.
Bergmann, Merrie, Moor, James H., and Nelson, Jack. 2004. The Logic Book, 4th ed. New York: McGraw-Hill.
Black, Max. 1937. “Vagueness: An Exercise in Logical Analysis.” Philosophy of Science 4, pp. 427–455.
Bochvar, D. A. 1937. “Ob odnom Tréhznačnom Isčislénii i égo Priménénii k Analizu Paradoksov Klassičéskogo Rasširénnogo Funkcional'nogo Isčisléniá.” Matématčéskij Sbornik 4 (46), pp. 287–308. (English translation by Merrie Bergmann, “On a Three-Valued Calculus and Its Application to the Analysis of the Paradoxes of the Classical Extended Functional Calculus.” History and Philosophy of Logic 2, 1981, pp. 87–112.)
Bolc, Leonard, and Borowik, Piotr. 1992. Many-Valued Logics. I: Theoretical Foundations. New York: Springer-Verlag.
Chang, C. C. 1958a. “Proof of an Axiom of Łukasiewicz.” Transactions of the American Mathematical Society 87, 55–56.
Chang, C. C. 1958b. “Algebraic Analysis of Many Valued Logics.” Transactions of the American Mathematical Society 88, pp. 476–490.
Chang, C. C. 1959. “A New Proof of the Completeness of the Łukasiewicz Axioms.” Transactions of the American Mathematical Society 93, pp. 74–80.
Church, Alonzo. 1936. “A Note on the Entscheidungsproblem.” Journal of Symbolic Logic 1, pp. 40–41.
Cignoli, Roberto L. O., D'Ottaviano, Itala M. L., and Mundici, Daniele. 2000. Algebraic Foundations of Many-Valued Reasoning. Boston: Kluwer.
Delong, Howard. 1970. A Profile of Mathematical Logic. Reading, MA: Addison-Wesley.
Dilworth, R. P., and Ward, M.. 1939. “Residuated Lattices.” Transactions of the American Mathematical Society 45, pp. 335–354.
Dunn, J. Michael, and Hardegree, Gary M.. 2001. Algebraic Methods in Philosophical Logic. New York: Oxford University Press.
Edgington, Dorothy. 1999. “Vagueness by Degrees.” In eds. Keefe, Rosanna and Smith, Peter, Vagueness: A Reader. Cambridge, MA: MIT Press, pp. 294–316.
Esteva, Francesc, Godo, Lluis, Hájek, Petr, and Navara, Mirko. 2000. “Residuated Fuzzy Logics with an Involutive Negation.” Archive for Mathematical Logic 39, pp. 103–124.
Esteva, Francesc, Godo, Lluis, and Montagna, Franco. 2001. “The ŁΠ and ŁΠ½ Logics: Two Complete Fuzzy Systems Joining Lukasiewicz and Product Logics.” Archive for Mathematical Logic 40, pp. 39–67.
Fine, Kit. 1975. “Vagueness, Truth and Logic.” Synthese 30, pp. 265–300.
Frege, Gottlob. 1879. Begriffsschrift, eine der arithmetischen nachgebildete Formelsprache des reinen Denkens. Halle: Verlag von Louis Nebert.
Gödel, Kurt. 1932. “Zum Intuitionistischen Aussagenkalkül.” Anzeiger der Akademie der Wissenschaften Wien, mathematisch, naturwissenschaftliche Klasse 69, pp. 65–66.
Goguen, Joseph A. 1967. “L-Fuzzy Sets.” Journal of Mathematical Analysis and Applications 18, pp. 145–174.
Goguen, Joseph A. 1968–1969. “The Logic of Inexact Concepts.” Synthese 19, pp. 325–373.
Goldberg, H., LeBlanc, H., and Weaver, G.. 1974. “A Strong Completeness Theorem.” Notre Dame Journal of Formal Logic 15 (2), pp. 325–331.
Gottwald, Siegfried. 2001. A Treatise on Many-Valued Logics. Philadelphia: Research Studies Press.
Gottwald, Siegfried, and Petr Hájek. 2005. “Triangular Norm-based Mathematical Fuzzy Logics.” In eds. Klement, E. P. and Mesiar, R., Logical, Algebraic, Analytic, and Probabilistic Aspects of Triangular Numbers. New York: Elsevier, pp. 275–299.
Haack, Susan. 1979. “Do We Need Fuzzy Logic?International Journal of Man-Machine Studies 11, pp. 437–445.
Hájek, Petr. 1995a. “Fuzzy Logic and Arithmetical Hierarchy.” Fuzzy Sets and Systems 73 (3), pp. 359–363.
Hájek, Petr. 1995b. “Fuzzy Logic from the Logical Point of View.” In eds. Bartošek, M., Staudek, J., and Wiedermann, J., SOFSEM '95: Theory and Practice of Informatics; Lecture Notes in Computer Science 1012. New York: Springer-Verlag, pp. 31–49.
Hájek, Petr. 1997. “Fuzzy Logic and Arithmetical Hierarchy II.” Studia Logica 58, pp. 129–141.
Hájek, Petr. 1998a. “Basic Fuzzy Logic and BL-algebras.” Soft Computing 2, pp. 124–128.
Hájek, Petr. 1998b. Metamathematics of Fuzzy Logic. Boston: Kluwer.
Hájek, Petr. 2001. “On Very True.” Fuzzy Sets and Systems 124, pp. 329–333.
Hájek, Petr, Paris, Jeff, and Shepherdson, John. 2000. “Rational Pavelka Predicate Logic Is a Conservative Extension of Łukasiewicz Predicate Logic.” The Journal of Symbolic Logic 65 (2), pp. 669–682.
Heck, Richard G. 1993. “A Note on the Logic of (Higher-Order) Vagueness.” Analysis 53, pp. 201–208.
Hirota, K., ed. 1993. Industrial Applications of Fuzzy Technology (translated by H. Solomon). New York: Springer-Verlag.
Hunter, Geoffrey. 1971. Metalogic: An Introduction to the Metatheory of Standard First-Order Logic. Los Angeles: University of California Press.
Hyde, Dominic. 1997. “From Heaps and Gaps to Heaps of Gluts.” Mind N. S. 106, pp. 641–660
Kearns, John T. 1979. “The Strong Completeness of a System for Kleene's Three-Valued Logic.” Zeitschrift für mathematische Logik und Grundlagen der Mathematik 25, pp. 61–68.
Keefe, Rosanna, and Smith, Peter, eds. 1997. Vagueness: A Reader. Cambridge, MA: MIT Press.
Kleene, Stephen C. 1938. “On a Notation for Ordinal Numbers.” The Journal of Symbolic Logic 3, pp. 150–155.
Klir, George J., and Yuan, Bo. 1995. Fuzzy Sets and Fuzzy Logic: Theory and Applications. Saddle River, NJ: Prentice Hall.
Lakoff, George. 1973. “Hedges: A Study in Meaning Criteria,” Journal of Philosophical Logic 2, pp. 459–508.
LeBlanc, Hugues. 1977. “A Strong Completeness Theorem for 3-Valued Logic: Part II.” Notre Dame Journal of Formal Logic 18 (1), pp. 107–116.
Lee, R. C. T., and Chang, C.-L.. 1971. “Some Properties of Fuzzy Logic.” Information and Control 19, pp. 417–431.
Łukasiewicz, Jan. 1930. “Philosophische Bemerkungen zu mehrwertigen Systemen des Aussagenkalküls.” Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie 23, ⅽⅼ. ⅲ, pp. 51–77. (English translation by H. Weber, “Philosophical Remarks on Many-Valued Systems of Propositional Logic.” In ed. Storrs McCall, Polish Logic: 1920–1939, New York: Oxford University Press, 1967, pp. 40–65.)
Łukasiewicz, Jan. 1934. “Z historii logiki zdań.” Przeglad Filozoficzny 37, pp. 417–437. (English translation by Storrs McCall, “On the History of the Logic of Propositions.” In ed. Storrs McCall, Polish Logic 1920–1939, New York: Oxford University Press, 1967, pp. 66–87.)
Łukasiewicz, J., and Tarski, A.. 1930. “Untersuchungen über den Aussagenkalkül.” Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie 23, ⅽⅼ. ⅲ, pp. 39–50. (English translation by J. H. Woodger, “Investigations into the Sentential Calculus.” In Alfred Tarski, Logic, Semantics, Metamathematics: Papers from 1923 to 1938, 2nd ed., Indianapolis: Hackett Publishing Co., 1983, pp. 38–59.
Machina, Kenton F. 1976. “Truth, Belief, and Vagueness.” Journal of Philosophical Logic 5, pp. 47–78.
MacLane, Saunders, and Birkhoff, Garrett. 1999. Algebra, 3rd ed. Providence, RI: American Mathematical Society.
Mangani, P. 1973. “Su Certe Algebre Connesse con Logiche a Piú Valori (On Certain Algebras Related to Many-Valued Logics).” Bollettino dell'Unione Matematica Italiana (Series 4) 8, pp. 68–78.
Martin, Robert L., ed. 1970. Paradox of the Liar. New Haven, CT: Yale University Press.
Martin, Robert L., ed. 1984. Recent Essays on Truth and the Liar Paradox. New York: Oxford University Press.
McNaughton, Robert. 1951. “A Theorem about Infinite-Valued Sentential Logic.” Journal of Symbolic Logic 16, pp. 1–13.
Menger, K. 1942. “Statistical Metrics.” Proceedings of the National Academy of Sciences in the USA 8, pp. 535–537.
Meredith, C. A. 1928. “The Dependence of an Axiom of Łukasiewicz.” Transactions of the American Mathematical Society 87, p. 54.
Minari, Pierluigi. 2003. “A Note on Łukasiewicz's Three-Valued Logic.” http://eprints.unifi.it/archive/00001106/02/08_Minari.pdf.
Morgan, Charles G., and Pelletier, Francis J.. 1977. “Some Notes Concerning Fuzzy Logics.” Linguistics and Philosophy 1, pp. 79–97.
Novák, Vilém. 1990. “On the Syntactico-Semantical Completeness of First-Order Fuzzy Logic” (Parts I and II). Kybernetika 26, pp. 47–66, 134–154.
Novák, Vilém. 2001. “Antonyms and Linguistic Quantifiers in Fuzzy Logic.” Fuzzy Sets and Systems 124, pp. 335–351.
Novák, Vilém, Perfilieva, Irina, and Močkoř, Jiří. 1999. Mathematical Principles of Fuzzy Logic. Boston: Kluwer.
Pavelka, J. M. 1979. “On Fuzzy Logic” (Parts I, II, and III). Zeitschrift für mathematische Logik und Grundlagen der Mathematik 25, pp. 45–52, 119–134, 447–464.
Pedrycz, Witold, and Gomide, Fernando. 1998. An Introduction to Fuzzy Sets: Analysis and Design. Cambridge, MA: MIT Press.
Pogorzelski, W. A. 1964. “The Deduction Theorem for Łukasiewicz Many-Valued Propositional Calculi.” Studia Logica 15, pp. 7–23.
Priest, Graham. 2001. An Introduction to Non-Classical Logic. Cambridge: Cambridge University Press, p. 215.
Quine, W. V. O. 1960. Word and Object. Cambridge, MA: MIT Press.
Rescher, Nicholas. 1969. Many-Valued Logic. New York: McGraw-Hill.
Robinson, J. A. 1965. “A Machine-Oriented Logic Based on the Resolution Principle.” Journal of the Association for Computational Machinery 12, pp. 23–41.
Rose, Alan, and Rosser, J. Barkley. 1958. “Fragments of Many-Valued Statement Calculi.” Transactions of the American Mathematical Society 87 (1), pp. 1–53.
Ruspini, Enrique H., Bonissone, Piero P., and Predrycz, Witold, eds. 1998. Handbook of Fuzzy Computation. Philadelphia: Institute of Physics Publishing.
Russell, Bertrand. 1923. “Vagueness.” Australasian Journal of Philosophy 1, pp. 84–92.
Scarpellini, B. 1962. “Die Nichtaxiomatisierbarkeit des undenlichwertigen Prädikatenkalküls von Łukasiewicz.” Journal of Symbolic Logic 27, pp. 159–170.
Słupecki, Jerzy. 1936. “Der volle dreivertige Aussagenkalkül.” Comptes rendus des séances de la Société des sciences et des lettres de Varsovie 3 (29), pp. 9–11. (English translation by Storrs McCall, “The Full Three-Valued Propositional Calculus.” In ed. Storrs McCall, Polish Logic: 1920–1939. New York: Oxford University Press, 1967, pp. 335–337.)
Smullyan, Raymond M. 1968. First-Order Logic. New York: Springer-Verlag.
Stoll, Robert R. 1961. Set Theory and Logic. San Francisco: W. H. Freeman.
Takeuti, Gaisi, and Titani, Satoko. 1984. “Intuitionistic Fuzzy Logic and Intuitionistic Fuzzy Set Theory.” The Journal of Symbolic Logic 49, pp. 851–866.
Tarski, Alfred. 1936. “Der Wahrheitsbegriff in den formalisierten Sprachen.” Studia Philosophica 1, pp. 261–405.
Turksen, I. B. 1991. “Measurement of Membership Functions and Their Acquisition.” Fuzzy Sets and Systems 40, pp. 5–38.
Fraassen, Bas C. 1966. “Singular Terms, Truth-Value Gaps, and Free Logic.” Journal of Philosophy 63, pp. 481–495.
Wajsberg, Mordchaj. 1931. “Aksjomatyzacja trójwartościowego rachunku zdań.” Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie 24, ⅽⅼ. ⅲ, pp. 126–145. (English translation by B. Gruchman and S.McCall, “Axiomatization of the Three-Valued Propositional Calculus.” In ed. Storrs McCall, Polish Logic: 1920–1939. New York: Oxford University Press, 1967, pp. 264–284.)
Wright, Crispin. 1987. “Further Reflections on the Sorites Paradox.” Philosophical Topics 15, pp. 227–290.
Wu, Olivia. 2003. “Rice Goes Digital Cooked the Fuzzy Logic Way: Side-by-Side Tests Show Appliance Makes a Difference.” San Francisco Chronicle, December 10, p. E1.
Zadeh, Lotfi A. 1965. “Fuzzy Sets.” Information and Control 8, pp. 338–353.
Zadeh, Lotfi A. 1975. “Fuzzy Logic and Approximate Reasoning.” Synthese 30, pp. 407–428.

Metrics

Altmetric attention score

Full text views

Total number of HTML views: 0
Total number of PDF views: 0 *
Loading metrics...

Book summary page views

Total views: 0 *
Loading metrics...

* Views captured on Cambridge Core between #date#. This data will be updated every 24 hours.

Usage data cannot currently be displayed