Protoalgebraic Logics

En savoir plus sur le livre

Focusing on the concept of consequence operations, this book explores recent developments in abstract algebraic logic, emphasizing a consistent theory built from fundamental assumptions. While it touches on the historical context of these ideas, the primary aim is to present a cohesive framework applicable to zero-order languages and extendable to higher-order logics. The work also addresses the successful adaptation of these theories to first-order languages, reflecting advancements made by researchers such as Blok and Pigozzi.