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

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

جستارهای وابسته 
 منطق ریاضی
 درجات درستی
 منطق فازی
 منطق گودل
 منطق هفت-ارزشی جینا
 منطق کلین
 جبر کلین (با تحلیل)
 منطق لوکاشویچ
 جبر-ام‌وی
 منطق پست
 اصل دوگانگی
 ای ان پرایر
 منطق اربطه‌ای

 منطق فلسفی
 دوگانه جعلی
 مو

 منطق دیجیتالی
 MVCML، منطق حالت-فعلی چند-ارزشی
 IEEE 1164 یک استاندارد نُه-ارزشی برای VHDL
 استاندارد IEEE 1364 یک استاندارد چهار-ارزشی برای وریلاگ
 منطق سه-حالته
 منطق مبتنی بر نویز

منابع 
عمومی

 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.
 
 Cignoli, R. L. O. , D'Ottaviano, I, M. L., Mundici, D. , (2000). Algebraic Foundations of Many-valued Reasoning. Kluwer.
 
 S. Gottwald, A Treatise on Many-Valued Logics. Studies in Logic and Computation, vol. 9, Research Studies Press: Baldock, Hertfordshire, England, 2001.
 
 
 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.
  Covers proof theory of many-valued logics as well, in the tradition of Hájek.
 
 
 
 
 

978-0-7803-1062-9

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

 
 Stanford Encyclopedia of Philosophy: "Truth Values"—by Yaroslav Shramko and Heinrich Wansing.
 IEEE Computer Society's Technical Committee on Multiple-Valued Logic
 Resources for Many-Valued Logic by Reiner Hähnle, Chalmers University
 Many-valued Logics W3 Server (archived)
 
 Carlos Caleiro, Walter Carnielli, Marcelo E. Coniglio and João Marcos, Two's company: "The humbug of many logical values" in Logica Universalis: Towards a General Theory of Logic (2nd ed.). Springer Science & Business Media. pp. 174–194. ISBN 978-3-7643-8354-1.

منطق‌های چندارزشی