Editing Many-valued logic (section)

== Further reading ==
'''General'''
* Augusto, Luis M. (2017). ''Many-valued logics: A mathematical and computational introduction.'' London: College Publications. 340 pages. {{ISBN|978-1-84890-250-3}}. [http://www.collegepublications.co.uk/logic/?00034 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.&nbsp;117–121.
* Malinowski, Gregorz, (2001), ''Many-Valued Logics,'' in Goble, Lou, ed., ''The Blackwell Guide to Philosophical Logic''. Blackwell.
* {{citation|first=Merrie |last=Bergmann|title=An introduction to many-valued and fuzzy logic: semantics, algebras, and derivation systems|year=2008|publisher=Cambridge University Press|isbn=978-0-521-88128-9}}
* Cignoli, R. L. O., [[Itala D'Ottaviano|D'Ottaviano, I, M. L.]], Mundici, D., (2000). ''[https://books.google.com/books?id=VMzrCAAAQBAJ Algebraic Foundations of Many-valued Reasoning]''. Kluwer.
* {{cite book|first1=Grzegorz|last1=Malinowski|title=Many-valued logics|year=1993|publisher=Clarendon Press|isbn=978-0-19-853787-8}}
* [[Siegfried Gottwald|S. Gottwald]], ''A Treatise on Many-Valued Logics.'' Studies in Logic and Computation, vol. 9, Research Studies Press: Baldock, Hertfordshire, England, 2001.
* {{cite journal|first1=Siegfried |last1=Gottwald |title=Many-Valued Logics |url=http://www.uni-leipzig.de/~logik/gottwald/SGforDJ.pdf |year=2005 |url-status=bot: unknown |archive-url=https://web.archive.org/web/20160303170255/http://www.uni-leipzig.de/~logik/gottwald/SGforDJ.pdf |archive-date=2016-03-03 }}
* {{cite book|first1=D. Michael|last1=Miller|first2=Mitchell A.|last2=Thornton|title=Multiple valued logic: concepts and representations|year=2008|publisher=Morgan & Claypool Publishers|isbn=978-1-59829-190-2|series=S{{lc:YNTHESIS LECTURES ON DIGITAL CIRCUITS AND SYSTEMS}}|volume=12}}
* [[Petr Hájek|Hájek P.]], (1998), ''Metamathematics of fuzzy logic''. Kluwer. (Fuzzy logic understood as many-valued logic [[sui generis]].)

'''Specific'''
* [[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.
* [[Chen Chung Chang|Chang C.C.]] and [[H. Jerome Keisler|Keisler H. J.]] 1966. ''Continuous Model Theory'', Princeton, Princeton University Press.
* Gerla G. 2001, ''[https://books.google.com/books?id=YdToCAAAQBAJ Fuzzy logic: Mathematical Tools for Approximate Reasoning]'', Kluwer Academic Publishers, Dordrecht.
* Novák, V., Perfilieva, I., Močkoř, J., (1999), ''Mathematical Principles of Fuzzy Logic. Kluwer, Boston.
* Pavelka J. 1979, ''On fuzzy logic I: Many-valued rules of inference'', Zeitschr. f. math. Logik und Grundlagen d. Math., 25, 45–52.
* {{cite book|first1=George|last1=Metcalfe|first2=Nicola|last2=Olivetti|author3=[[Dov M. Gabbay]]|title=Proof Theory for Fuzzy Logics|year=2008|publisher=Springer|isbn=978-1-4020-9408-8}} Covers proof theory of many-valued logics as well, in the tradition of Hájek.
* {{cite book|first1=Reiner|last1=Hähnle|title=Automated deduction in multiple-valued logics|year=1993|publisher=Clarendon Press|isbn=978-0-19-853989-6}}
* {{cite book|first1=Francisco|last1=Azevedo|title=Constraint solving over multi-valued logics: application to digital circuits|year=2003|publisher=IOS Press|isbn=978-1-58603-304-0}}
* {{cite book|first1=Leonard|last1=Bolc|first2=Piotr|last2=Borowik|title=Many-valued Logics 2: Automated reasoning and practical applications|year=2003|publisher=Springer|isbn=978-3-540-64507-8}}
* {{cite book |last1=Stanković |first1=Radomir S. |last2=Astola |first2=Jaakko T. |last3=Moraga |first3=Claudio |title=Representation of Multiple-Valued Logic Functions |year=2012 |publisher=Morgan & Claypool Publishers |isbn=978-1-60845-942-1 |doi=10.2200/S00420ED1V01Y201205DCS037}}
* {{cite book |last1=Abramovici |first1=Miron |last2=Breuer |first2=Melvin A. |last3=Friedman |first3=Arthur D. |date=1994 |title=Digital Systems Testing and Testable Design |location=New York |publisher=Computer Science Press |isbn=978-0-7803-1062-9 }}