Algebraic Foundations of Many-Valued Reasoning /

This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search. The book is suitable for self-study, making the basic tools of man...

Full description

Bibliographic Details

Main Author:	Cignoli, Roberto L. O.
Corporate Author:	SpringerLink (Online service)
Other Authors:	D'Ottaviano, Itala M. L., Mundici, Daniele
Format:	eBook
Language:	English
Published:	Dordrecht : Springer Netherlands, 2000.
Series:	Trends in Logic, Studia Logica Library ; 7.
Subjects:	Philosophy (General) Logic. Computational complexity. Artificial intelligence. Algebra. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book