Residuated Lattices: An Algebraic Glimpse at Substructural Logics (ISSN Book 151) by Nikolaos Galatos

Description

The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures related to substructural logics. The second, less obvious but equally important, is to provide a reasonably gentle introduction to algebraic logic. At the beginning, the second objective is predominant. Thus, in the first few chapters the reader will find a primer of universal algebra for logicians, a crash course in nonclassical show more logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as show less