My Account
Log in Registration
All
Cart
Highlights
Fiction Books
Non-Fiction Books
Children's Books
Rare Books
Music
DVD & Blu-Ray
Video Games
Category
Wishlists
Cart
All
Free Shipping in Australia
Trustpilot
Proud to be B-Corp

What is a Logical System? D. M. Gabbay (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London)

What is a Logical System? By D. M. Gabbay (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London)

What is a Logical System? by D. M. Gabbay (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London)

Reviews:
$450.99
Condition - New
Only 2 left
New

Summary

BL Internationally renowned contributors including Kosta Dosen, Solomon Feferman, Neil Tennent, and Robert Kowalski A collection of papers addressing the fundamental question what is a logical system? This book presents a wide spectrum of ideas on the problem, reflecting curent mainstream approaches to logic and its applications.

What is a Logical System? Summary

What is a Logical System? by D. M. Gabbay (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London)

This extraordinary collection of papers addresses a fundamental question of logic and computation. What is a logical system?. With contributions from many world famous researchers, it presents a wide spectrum of views on the problem, reflecting mainstream current approaches to logic and how it is applied.

Table of Contents

1. What is logic ; 2. Logic without model theory ; 3. Diagrams and the concept of logical system ; 4. General dynamics ; 5. What is a deductive system ; 6. The transmission of truth and the transmitting of abduction ; 7. What is a logical system? ; 8. What is a logical system? ; 9. Structure, consequence relation ; 10. Schematic consequence ; 11. Logical constants and punctuation marks ; 12. Finitary inductively presented logics ; 13. A-theory and its metatheory in FSo ; 14. General logics and logical frameworks ; 15. General algebraic logic, a perspective on What is Logic?

Additional information

NPB9780198538592
9780198538592
0198538596
What is a Logical System? by D. M. Gabbay (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London)
D. M. Gabbay (Professor of Computing Science, Department of Computing, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London)
Studies in Logic and Computation
New
Hardback
Oxford University Press
1994-12-08
464
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a new book - be the first to read this copy. With untouched pages and a perfect binding, your brand new copy is ready to be opened for the first time

Customer Reviews - What is a Logical System?