This is a monograph about logic. Specifically, it presents the mathe matical theory of the logic of bunched implications, BI: I consider Bl's proof theory, mode

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic tha

This book constitutes the proceedings of the 28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, TABLEAUX 2019, hel

This book constitutes the refereed proceedings of the 14th European Symposium on Programming, ESOP 2005, held in Edinburgh, UK in April 2005 as part of ETAPS. T

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2013, held in San Diego, CA, USA