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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.