• 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
Independence-Friendly Logic

Independence-Friendly Logic

Paperback

Series: London Mathematical Society Lecture Note, Book 386

FictionGeneral Mathematics

ISBN10: 0521149347
ISBN13: 9780521149341
Publisher: Cambridge University Press
Published: May 5 2011
Pages: 216
Weight: 0.70
Height: 0.50 Width: 5.90 Depth: 8.80
Language: English
Bringing together over twenty years of research, this book gives a complete overview of independence-friendly logic. It emphasizes the game-theoretical approach to logic, according to which logical concepts such as truth and falsity are best understood via the notion of semantic games. The book pushes the paradigm of game-theoretical semantics further than the current literature by showing how mixed strategies and equilibria can be used to analyze independence-friendly formulas on finite models. The book is suitable for graduate students and advanced undergraduates who have taken a course on first-order logic. It contains a primer of the necessary background in game theory, numerous examples and full proofs.

Also in

Fiction