Find your perfect holiday reading
Protoalgebraic Logics - Trends in Logic 10 (Hardback)
  • Protoalgebraic Logics - Trends in Logic 10 (Hardback)
zoom

Protoalgebraic Logics - Trends in Logic 10 (Hardback)

(author)
£139.99
Hardback 452 Pages / Published: 30/04/2001
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
The main aim of this book is to present recent ideas in logic centered around the notion of a consequence operation. We wish to show these ideas in a factually and materially connected way, i.e., in the form of a consistent theory derived from several simple assumptions and definitions. These ideas have arisen in many research centers. The thorough study of their history can certainly be an exciting task for the historian of logic; in the book this aspect of the theory is being played down. The book belongs to abstract algebraic logic, the area of research that explores to a large extent interconnections between algebra and logic. The results presented here concern logics defined in zero-order languages (Le., quantifier-free sentential languages without predicate symbols). The reach of the theory expounded in the book is, in fact, much wider. The theory is also valid for logics defined in languages of higer orders. The problem of transferring the theory to the level of first-order languages has been satisfactorily solved and new ideas within this area have been put forward in the work of Blok and Pigozzi [1989].

Publisher: Springer
ISBN: 9780792369400
Number of pages: 452
Weight: 1830 g
Dimensions: 235 x 155 x 25 mm
Edition: 2001 ed.


MEDIA REVIEWS
`This book is an excellent and very readable introduction to the area of abstract algebraic logic. It includes recent technical results together with philosophical comments to provide a context. Many of the chapters contain exercises that give additional results and all of the chapters contain extensive end notes to guide the reader to the literature '
Mathematical Reviews, 2002f

You may also be interested in...

How to Prove It
Added to basket
Computability and Logic
Added to basket
Category Theory
Added to basket
£38.99
Paperback
Alan Turing's Systems of Logic
Added to basket
Logic For Dummies
Added to basket
£13.99
Paperback
Alan M. Turing
Added to basket
£9.99
Paperback
The Foundations of Mathematics
Added to basket
Logic and Discrete Mathematics
Added to basket
Introducing Infinity
Added to basket
Godel's Proof
Added to basket
£11.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.