Taylor's Library

Normal view MARC view ISBD view

Propositional logics : the semantic foundations of logic / Richard L. Epstein ; with the assistance and collaboration of Walter A. Carnielli ... [et al.]

By: Epstein, Richard L, 1947-.
Contributor(s): Carnielli, Walter A.
Publisher: Australia ; Belmont, Calif. : Wadsworth, c2001Edition: 2nd ed.Description: 479 p. ; 24 cm.ISBN: 053455847X.Subject(s): Language and logic | Logic, Symbolic and mathematical | Proposition (Logic) | Semantics (Philosophy)DDC classification: 160
Contents:
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.
Summary: 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
Item type Current location Call number Copy number Status Notes Date due Barcode Remark
Main Collection TU External Storage-LCS
160 EPS (Browse shelf) 1 Available SOCIT,15004,02,GR 1000109600 Please fill up online form at https://taylorslibrary.taylors.edu.my/services/external_storage1

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.

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