Download or read book What is a Logical System? written by Dov M. Gabbay and published by Studies in Logic and Computati. This book was released on 1994 with total page 472 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 andhow it is applied.