Many-valued logics. A mathematical and computational introduction.

London: College Publications (2020)
Download Edit this record How to cite View on PhilPapers
Abstract
2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, and they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics.
Reprint years
2017, 2020
ISBN(s)
1848902506   9781848902503
PhilPapers/Archive ID
AUGMLA
Upload history
First archival date: 2017-07-31
Latest version: 4 (2020-06-15)
View other versions
Added to PP index
2017-05-31

Total views
471 ( #13,687 of 2,454,407 )

Recent downloads (6 months)
46 ( #16,732 of 2,454,407 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.