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

This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-studied structu

Growing specialization and diversification have brought a host of monographs and textbooks on increasingly specialized topics. Bowever, the "tree" of knowledge

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

"The text can serve as an introduction to fundamentals in the respective areas from a residuated-maps perspective and with an eye on coordinatization. The histo