Protoalgebraic Logics

Více o knize

Focusing on the concept of consequence operations, this book explores recent advancements in logic, presenting a cohesive theory based on simple assumptions. It highlights the connections between algebra and logic within abstract algebraic logic, specifically addressing logics in zero-order languages. While the historical context of these ideas is noted, it is not the primary focus. The theory's applicability extends to higher-order languages, with successful integration into first-order languages, drawing on the contributions of Blok and Pigozzi.