Abstraction Logic: A New Foundation for Reasoning, Computing, and Understanding

This is the first book about abstraction logic. It presents abstraction logic in its most recent and comprehensive form, and supersedes all previous publications on abstraction logic.

With the purchase of this electronic version of the book, you also receive all future updates to this e-book. Currently, the book consists of two complete chapters: “The Mathematical Universe”, and “Abstraction Algebra” . Chapter 3, “Abstraction Logic”, introduces abstraction logic and proves its soundness. Further sections of Chapter 3 are being worked on, together with a software implementation of this improved and exciting formulation of abstraction logic. More chapters are planned to be released throughout 2024 and 2025. Note that existing chapters might change in future versions of the book.

See also Abstraction Logic's web page.

Purchase the book now for £0, or support Practal and pay whatever you think is fair!