• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Labelled Deductive Systems: Volume 1

Labelled Deductive Systems: Volume 1

Hardcover

Series: Oxford Logic Guides, Book 33

FictionLinguisticsLogic

ISBN10: 0198538332
ISBN13: 9780198538332
Publisher: OUP Oxford
Published: Nov 14 1996
Pages: 510
Weight: 1.96
Height: 1.13 Width: 6.14 Depth: 9.21
Language: English
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.

Also in

Logic