Andrzej Indrzejczak Livres

Focusing on sequent calculi in propositional logic, this textbook emphasizes practical applications for proving various metatheoretical results. It offers a clear, self-contained presentation, combining formal and informal explanations of technical details. Readers will find numerous worked proofs, including key concepts like cut-elimination, completeness, decidability, and interpolation. Additionally, some proofs are presented as exercises, encouraging readers to engage with and practice the techniques of sequent calculus.

This book explores the concept of hybrid systems in logic, aiming to provide practical deductive tools for a broad audience, including philosophers and educators. It seeks to bridge the gap between overly complex mathematical logic and simplified critical thinking courses, making logic accessible to those with basic training.