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...

Discusses the temporal logic of Arthur Prior, a type of modal logic. After technical definitions, author addresses related philosophical issues. Also summarizes applications in natural language, computer science, and artificial...