A Treatise on Many-valued Logics

Front Cover
Research Studies Press, 2001 - Mathematics - 604 pages
0 Reviews
A growing interest in many-valued logic has developed which to a large extent is based on applications, intended as well as already realised ones. These applications range from the field of computer science, e.g. in the areas of automated theorem proving, approximate reasoning, multi-agent systems, switching theory, and program verification, through the field of pure mathematics, e.g. in independence of consistency proofs, in generalized set theories, or in the theory of particular algebraic structures, into the fields of humanities, linguistics and philosophy.

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.


General Background
The Formalized Language and its Interpretations
Logical Validity and Entailment

23 other sections not shown

Common terms and phrases

Bibliographic information