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

در منطق، **منطق چند-ارزشی** یک حساب گزاره ای است که در آن بیش از دو ارزش درستی وجود دارد. به‌طور سنتی، در حسابان منطقی ارسطو، فقط دو مقدار ممکن (یعنی "درست" و "غلط") برای هر گزاره وجود داشت. منطق دو-ارزشی کلاسیک ممکن است به **منطق ''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. [[:en:ISBN -(identifier)|ISBN]] [[:en:Special:BookSources/978-1-84890-250-3|978-1-84890-250-3]]. [http://www.collegepublications.co.uk/logic/?00034 Webpage]
* [[:en:Béziau|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. , [[:en:Itala_D'Ottaviano|D'Ottaviano, I, M. L.]], Mundici, D. , (2000). ''[https://books.google.com/books?id=VMzrCAAAQBAJ&printsec=frontcover#v=onepage&q&f=false Algebraic Foundations of Many-valued Reasoning]''. Kluwer.
* 
* [[:en:Siegfried_Gottwald|S. Gottwald]], ''A Treatise on Many-Valued Logics.'' Studies in Logic and Computation, vol. 9, Research Studies Press: Baldock, Hertfordshire, England, 2001.
* 
* 
* [[:en:Petr_Hájek|Hájek P.]], (1998), ''Metamathematics of fuzzy logic''. Kluwer. (Fuzzy logic understood as many-valued logic [[:en:Sui_generis|sui generis]].)


**ویژه*'

* [[:en:Alexandre_Zinoviev|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 [[:en:John_Locke|John Locke]] lectures
* [[:en:Goguen|Goguen]] J.A. 1968/69, *The logic of inexact concepts*, Synthese, 19, 325–373.
* [[:en:Chen_Chung_Chang|Chang C.C.]] and [[:en:H._Jerome_Keisler|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.
* 
* 
* 
* 
* 

<bdi><cite class="citation book cs1" data-ve-ignore="true" id="CITEREFAbramoviciBreuerFriedman1994">[[ویژه: منابع کتاب/978-0-7803-1062-9|978-0-7803-1062-9]]</cite></bdi>


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

* 
* [[:en:Stanford_Encyclopedia_of_Philosophy|Stanford Encyclopedia of Philosophy]]: "[http://plato.stanford.edu/entries/truth-values/ Truth Values]"—by Yaroslav Shramko and Heinrich Wansing.
* [[:en:IEEE_Computer_Society|IEEE Computer Society]]'s [http://www.lcs.info.hiroshima-cu.ac.jp/~s_naga/MVL/ Technical Committee on Multiple-Valued Logic]
* [http://www.cse.chalmers.se/~reiner/mvl-web/ Resources for Many-Valued Logic] by Reiner Hähnle, [[:en:Chalmers_University|Chalmers University]]
* [https://web.archive.org/web/20050211094618/http://www.upmf-grenoble.fr/mvl/ Many-valued Logics W3 Server] (archived)
* 
* Carlos Caleiro, Walter Carnielli, Marcelo E. Coniglio and João Marcos, [http://sqig.math.ist.utl.pt/pub/caleiroc/05-cccm-dyadic.pdf Two's company: "The humbug of many logical values"] in <cite id="CITEREFJean-Yves_Beziau2007" class="citation book cs1">*Logica Universalis: Towards a General Theory of Logic'' (2nd ed.). Springer Science & Business Media. pp. 174–194. ISBN <bdi>978-3-7643-8354-1</bdi>.

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