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

User Review - Flag as inappropriate

|||||||||||||||||| an impressive collection of articles on what a logical system is. Connects with recent literature on the subject.

Other editions - View all

About the author (1994)

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

Bibliographic information