Labelled deductive systems

Main
Mathematics - Logic
Labelled deductive systems

Labelled deductive systems

Name: Labelled deductive systems
ISBN: 9780198538332

Dov M. Gabbay

0 / 5.0

0 comments

Bạn thích cuốn sách này tới mức nào?

Chất lượng của file scan thế nào?

Xin download sách để đánh giá chất lượng sách

Chất lượng của file tải xuống thế nào?

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.

Thể loại:

Mathematics - Logic

Tập:

Volume 1

Năm:

1996

Nhà xuát bản:

Clarendon Press; Oxford University Press

Ngôn ngữ:

english

Trang:

511