Libro Labelled Deductive Systems: Volume 1 (Oxford Logic Guides) De Dov M. Gabbay

Envío gratis

portada Labelled Deductive Systems: Volume 1 (Oxford Logic Guides)

Formato

Libro Físico

Editorial

Clarendon Press

Autor

Dov M. Gabbay

Año

1996

Idioma

Inglés

N° páginas

512

Encuadernación

Tapa Dura

ISBN

0198538332

ISBN13

9780198538332

N° edición

Categorías

Lingüísticas

Labelled Deductive Systems: Volume 1 (Oxford Logic Guides)

Dov M. Gabbay (Autor) · Clarendon Press · Tapa Dura

Sin Stock

Reseña del libro "Labelled Deductive Systems: Volume 1 (Oxford Logic Guides)"

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.