This comprehensive text demonstrates how various notions of logic can be viewed as notions of universal algebra. It is aimed primarily for logisticians in mathe

This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substr

This book offers a concise introduction to both proof-theory and algebraic methods, the core of the syntactic and semantic study of logic respectively. The impo