Labelled Deductive Systems: Volume 1

ISBN-13: 9780198538332 / Angielski / Twarda / 1996 / 512 str.

Dov M. Gabbay; Dov M. Gabbay

Opis

This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists.

Recenzje

The book is carefully written from a mathematical standpoint. It is also very pleasant to read, thanks to the clear and good-humoured writing style of Professor Gabbay... it should be of interest to those researchers and students of applied logics as well as those geared towards foundational and mathematical aspects of logic.