Yazar: Peter Jipsen

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 …

This book constitutes the proceedings of the 14th International Conference on Relational and Algebraic Methods in Computer Science, RAMi CS 2014 held in Marienstatt, Germany, in April/May 2014.The 25 …

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 …

This book constitutes the proceedings of the 18th International Conference on Relational and Algebraic Methods in Computer Science, RAMi CS 2020, which was due to be held in Palaiseau, France, in …