TY  - BOOK
AU  - Epstein,Richard L.
AU  - Carnielli,Walter A.
TI  - Propositional logics: the semantic foundations of logic 
SN  - 053455847X
U1  - 160 
PY  - 2001///
CY  - Australia, Belmont, Calif.
PB  - Wadsworth
KW  - Language and logic
KW  - Logic, Symbolic and mathematical
KW  - Proposition (Logic)
KW  - Semantics (Philosophy)
N1  - Preface and adknowledgements. - I. The Basic Assumptions of Propositional Logic. - II. Classical Propositional Logic. - III. Relatedness Logic : The Subject Matter of a Proposition -S and R-. - IV. A General Framework for Semantics for Propositional Logics. - V. Dependence Logics -D, Dual D, Eq, DPC-. - VI. Modal Logics - S4, S5, S4Grz,T, B, K, QT, MSI, ML, G, G*-. - VII. Intuitionism - Int and J -. VIII. Many-Valued Logics - L3, Ln, L, K3, G3, Gn G, S5 -. - IX. Paraconsistent Logic : J3 in collaboration with Itala M. L. D'Ottaviano. - X.anslations Between Logics. - XI. The Semantic Foundations of Logic. - Summary of Logics. - Bibliography. - Glossary of Notation. - Index of Examples. - Index
N2  - In this first and only book to unify many different logics within a common spectrum of semantic analysis, world-renowed logician Richard L. Epstein presents modern logic so readably that both beginning and advanced students will benefit.  Epstein helps readers to see logic as the forrmalization of reasoning that needs and deserves a semantic foundation. Propositional Logics includes many worked examples, exrcieses, and open problems that illustrate the scope and limitations of modern logic. A special appendix offers a uniquely helpful summary of the syntax and semantics of the propositional logics studies in this book.- Back cover
ER  -