Labelled Deductive Systems, Volume 1

Front Cover
Clarendon Press, 1996 - Philosophy - 497 pages
1 Review
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.

What people are saying - Write a review

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

Other editions - View all

References to this book

Fibring Logics
Dov M. Gabbay
Limited preview - 1998
All Book Search results »

About the author (1996)

Dov M. Gabbay is at Imperial College, London.

Bibliographic information