What is a Logical System?

Front Cover
Dov M. Gabbay
Clarendon Press, 1994 - History - 454 pages
This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers--including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman--the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, What is a Logical System? will excite discussion among students, teachers, and researchers in mathematics, logic, computer science, philosophy, and linguistics.

What people are saying - Write a review

We haven't found any reviews in the usual places.

About the author (1994)

D. M. Gabbay is at Imperial College of Science, Technology and Medicine, University of London.

Bibliographic information