The Semantic Foundations of Logic

This edition of Propositional Logics presents the history, philosophy and mathematics of its subject. Individual chapters are devoted to classical logic, model logics, many-valued logics, intuitionism, paraconsistent logics, and analytic implication. This book unifies many different logics within a common spectrum of semantic analysis.