Many-Valued Logics : 1: Theoretical Foundations /

Many-valued logics were developed as an attempt to handle philosophical doubts about the "law of excluded middle" in classical logic. The first many-valued formal systems were developed by J. Lukasiewicz in Poland and E.Post in the U.S.A. in the 1920s, and since then the field has expanded...

Full description

Bibliographic Details

Main Author:	Bolc, Leonard
Corporate Author:	SpringerLink (Online service)
Other Authors:	Borowik, Piotr
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 1992.
Subjects:	Computer science. Logic, Symbolic and mathematical. Electronic books.
Online Access:	Connect to the full text of this electronic book