Systems of logic

著者

• Martin, Norman M.

書誌事項

Systems of logic

Norman M. Martin

Cambridge University Press, 1989

• : pbk.

注記

Includes bibliographical references and indexes

内容説明・目次

内容説明

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.

「Nielsen BookData」 より

詳細情報

• NII書誌ID(NCID): BA07658564
• ISBN:
  • 0521365899
  • 0521367700
• LCCN: 88007893
• 出版国コード: uk
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: Cambridge ; New York
• ページ数/冊数: xi, 318 p.
• 大きさ: 24 cm
• 分類:
  • LCC : BC135
  • DC19 : 160
• 件名:
  • LCSH : Logic, symbolic and mathematical