What is a Logical System?
Author:   D. M. Gabbay (Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London)
Publisher:   Oxford University Press
Volume:   4
ISBN:  

9780198538592


Pages:   464
Publication Date:   08 December 1994
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $240.95 Quantity:  
Add to Cart

Share |

What is a Logical System?


Overview

Collection of papers addressing this fundamental question - what is a logical system? The world famous contributors present a spectrum of views on the answer.

Full Product Details

Author:   D. M. Gabbay (Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London)
Publisher:   Oxford University Press
Imprint:   Clarendon Press
Volume:   4
Dimensions:   Width: 16.00cm , Height: 2.90cm , Length: 24.10cm
Weight:   0.831kg
ISBN:  

9780198538592


ISBN 10:   0198538596
Pages:   464
Publication Date:   08 December 1994
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

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?

Reviews

The papers present a wealth of logical systems as well as of general frameworks for the study of such systems. --Journal of Symbolic Logic<br>


The papers present a wealth of logical systems as well as of general frameworks for the study of such systems. --Journal of Symbolic Logic The papers present a wealth of logical systems as well as of general frameworks for the study of such systems. --Journal of Symbolic Logic The papers present a wealth of logical systems as well as of general frameworks for the study of such systems. --Journal of Symbolic Logic The papers present a wealth of logical systems as well as of general frameworks for the study of such systems. --Journal of Symbolic Logic


The papers present a wealth of logical systems as well as of general frameworks for the study of such systems. --Journal of Symbolic Logic


Author Information

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

NOV RG 20252

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now