Systems of Logic

Norman M. Martin (Autor)

Buch | Softcover

336 Seiten

1989
Cambridge University Press (Verlag)
978-0-521-36770-7 (ISBN)

Artikel merken

This is an advanced study of systems of propositional logic which offers a comprehensive account of a wide variety of logical systems and which encourages students to take a critical stance towards the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Interesting features include a more refined treatment of modal logic and the special attention given to the weakenings of classical logic. Useful appendices provide a topical bibliography and review of basic set theory.

Preface; 1. Formal systems and structure theory; 2. Zero-order logic: proof theory; 3. Zero-order model theory; 4. Positive implication; 5. Negation; 6. Complete implication-negation logic; 7. Disjunction; 8. Conjunction; 9. Multi-connective systems; 10. Strict implications: introduction; 11. Strict implications: addition results; 12. Quantification and first-order logic; 13. Quantification and complete logics; 14. Quantification and incomplete logics; 15. Interpretation of formal systems; Appendix: historical and bibliographical remarks; Subject index; Index of systems; Index of symbols.

Erscheint lt. Verlag	28.7.1989
Zusatzinfo	Worked examples or Exercises
Verlagsort	Cambridge
Sprache	englisch
Maße	152 x 228 mm
Gewicht	475 g
Themenwelt	Geisteswissenschaften ► Philosophie ► Logik
ISBN-10	0-521-36770-0 / 0521367700
ISBN-13	978-0-521-36770-7 / 9780521367707
Zustand	Neuware