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 logics for algebraists, an introduction to residuated structures, an outline of Gentzen-style calculi as...
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 residuate...
The study of lattice varieties is a field that hasexperienced rapid growth in the last 30 years, but many ofthe interesting and deep results discovered in that periodhave so far only appeared in research papers. The aim ofthis monograph is to present the main results about modularand nonmodular varieties, equational bases and theamalgamation property in a uniform way. The first chaptercovers preliminaries that make the material accessible toanyone who has had an introductory course in universalalgebra. Each subsequent chapter begins with a shorthistorical introduction which sites the original...
The study of lattice varieties is a field that hasexperienced rapid growth in the last 30 years, but many ofthe interesting and deep results discovere...
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 held in Marienstatt, Germany, in April/May 2014. The 25 revised full papers presented were carefully selected from 37 submissions. The papers are structured in specific fields on concurrent Kleene algebras and related formalisms, reasoning about computations and programs, heterogeneous and categorical approaches, applications of relational and algebraic methods and developments related to modal logics and lattices.
This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2014 hel...
