ENGLISH

Labelled deductive systems

By Dov M. Gabbay

Book information

Publisher
Clarendon Press; Oxford University Press
Year
1996
ISBN
0198538332, 9780198538332
LCC
BC71 .G3 1996
Open Library ID
OL987390M
Language
english
Format
DJVU
Filesize
3 MB (3006098 bytes)
Series
Oxford logic guides Oxford science publications 33
Volume
Volume 1
Pages
511\511
Topic
Mathematics Logic
Library
Kolxo3
DPI
300
Time added
2009-07-20 03:45:11

Description

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.

Similar books