Stanford University
Many Valued Logic/stanford Encyclopedia of Philosophy
Explains the logical theory of "many-valued logic," a modern alternative to classic logic. Sections address its history, notation and proofs, and applications to linguistics, mathematics, philosophy, and artificial intelligence. For the...