What Is a Logical System? (Studies in Logic and Computation) - Hardcover

 
9780198538592: What Is a Logical System? (Studies in Logic and Computation)

Synopsis

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.

"synopsis" may belong to another edition of this title.

About the Author

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

"About this title" may belong to another edition of this title.