Systems of Logic

Name: Systems of Logic
Availability: OutOfStock
ISBN: 9780521367707

ISBN-10: 0521367700

ISBN-13: 9780521367707

Edition: 1989

Authors: Norman M. Martin

List price: $54.99

30 day, 100% satisfaction guarantee!

Out of stock

We're sorry. This item is currently unavailable.

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

This advanced study of systems of propositional logic offers a comprehensive account of a wide variety of logical systems and encourages students to take a critical stance toward the subject. A great variety of systems and subsystems are defined and compared as regards their deductive power and relation to their model theory. Special attention is given to the weakenings of classical logic and a more refined treatment of modal logic is presented.

Book details

List price: $54.99
Copyright year: 1989
Publisher: Cambridge University Press
Publication date: 7/28/1989
Binding: Paperback
Pages: 336
Size: 6.25" wide x 9.50" long x 0.50" tall
Weight: 1.034
Language: English



Preface



Formal systems and structure theory



Zero-order logic: proof theory



Zero-order model theory



Positive implication



Negation



Complete implication-negation logic



Disjunction



Conjunction



Multi-connective systems



Strict implications: introduction



Strict implications: addition results



Quantification and first-order logic



Quantification and complete logics



Quantification and incomplete logics



Interpretation of formal systems


Appendix: historical and bibliographical remarks


Subject index


Index of systems


Index of symbols.