منطق چند-ارزشی

در منطق، منطق چند-ارزشی یک حساب گزاره ای است که در آن بیش از دو ارزش درستی وجود دارد. به‌طور سنتی، در حسابان منطقی ارسطو، فقط دو مقدار ممکن (یعنی "درست" و "غلط") برای هر گزاره وجود داشت. منطق دو-ارزشی کلاسیک ممکن است به منطق n-ارزشی برای n بزرگتر از ۲ گسترش یابد. محبوب‌ترین آنها در ادبیات سه ارزشی هستند (به عنوان مثال، جان لوکاسیویز و کلینی، که مقادیر "درست"، "غلط" و "ناشناخته" را قبول دارند)، محدود-ارزشی (به‌طور محدود-چند-ارزشی) با بیش از سه مقدار، و نامحدود-ارزشی (به‌طور نامحدود-چند-ارزشی)، مانند منطق فازی و منطق احتمالی.

جستارهای وابسته

[ویرایش]
منطق ریاضی
منطق فلسفی
منطق دیجیتالی

منابع

[ویرایش]

عمومی

  • Augusto, Luis M. (2017). Many-valued logics: A mathematical and computational introduction. London: College Publications. 340 pages. شابک ‎۹۷۸−۱−۸۴۸۹۰−۲۵۰−۳ISBN 978-1-84890-250-3. Webpage
  • Béziau J. -Y. (1997), What is many-valued logic ? Proceedings of the 27th International Symposium on Multiple-Valued Logic, IEEE Computer Society, Los Alamitos, pp. 117–121.
  • Malinowski, Gregorz, (2001), Many-Valued Logics, in Goble, Lou, ed. , The Blackwell Guide to Philosophical Logic. Blackwell.
  • Bergmann, Merrie (2008), An introduction to many-valued and fuzzy logic: semantics, algebras, and derivation systems, Cambridge University Press, ISBN 978-0-521-88128-9
  • Cignoli, R. L. O. , D'Ottaviano, I, M. L., Mundici, D. , (2000). Algebraic Foundations of Many-valued Reasoning. Kluwer.
  • Malinowski, Grzegorz (1993). Many-valued logics. Clarendon Press. ISBN 978-0-19-853787-8.
  • S. Gottwald, A Treatise on Many-Valued Logics. Studies in Logic and Computation, vol. 9, Research Studies Press: Baldock, Hertfordshire, England, 2001.
  • Gottwald, Siegfried (2005). "Many-Valued Logics" (PDF). Archived from the original on 2016-03-03. {{cite journal}}: Cite journal requires |journal= (help)نگهداری یادکرد:ربات:وضعیت نامعلوم پیوند اصلی (link)
  • Miller, D. Michael; Thornton, Mitchell A. (2008). Multiple valued logic: concepts and representations. Synthesis lectures on digital circuits and systems. Vol. 12. Morgan & Claypool Publishers. ISBN 978-1-59829-190-2.
  • Hájek P., (1998), Metamathematics of fuzzy logic. Kluwer. (Fuzzy logic understood as many-valued logic sui generis.)

ویژه

  • Alexandre Zinoviev, Philosophical Problems of Many-Valued Logic, D. Reidel Publishing Company, 169p. , 1963.
  • Prior A. 1957, Time and Modality. Oxford University Press, based on his 1956 John Locke lectures
  • Goguen J.A. 1968/69, The logic of inexact concepts, Synthese, 19, 325–373.
  • Chang C.C. and Keisler H. J. 1966. Continuous Model Theory, Princeton, Princeton University Press.
  • Gerla G. 2001, Fuzzy logic: Mathematical Tools for Approximate Reasoning, Kluwer Academic Publishers, Dordrecht.
  • Pavelka J. 1979, On fuzzy logic I: Many-valued rules of inference, Zeitschr. f. math. Logik und Grundlagen d. Math. , 25, 45–52.
  • Metcalfe, George; Olivetti, Nicola; Dov M. Gabbay (2008). Proof Theory for Fuzzy Logics. Springer. ISBN 978-1-4020-9408-8. Covers proof theory of many-valued logics as well, in the tradition of Hájek.
  • Hähnle, Reiner (1993). Automated deduction in multiple-valued logics. Clarendon Press. ISBN 978-0-19-853989-6.
  • Azevedo, Francisco (2003). Constraint solving over multi-valued logics: application to digital circuits. IOS Press. ISBN 978-1-58603-304-0.
  • Bolc, Leonard; Borowik, Piotr (2003). Many-valued Logics 2: Automated reasoning and practical applications. Springer. ISBN 978-3-540-64507-8.
  • Stanković, Radomir S.; Astola, Jaakko T.; Moraga, Claudio (2012). Representation of Multiple-Valued Logic Functions. Morgan & Claypool Publishers. doi:10.2200/S00420ED1V01Y201205DCS037. ISBN 978-1-60845-942-1.
  • Abramovici, Miron; Breuer, Melvin A.; Friedman, Arthur D. (1994). Digital Systems Testing and Testable Design. New York: Computer Science Press. ISBN 978-0-7803-1062-9.

978-0-7803-1062-9

پیوند به بیرون

[ویرایش]