Advances in Contemporary Logic and Computer Science

Presents the proceedings from the Eleventh Brazilian Logic Conference on Mathematical Logic held by the Brazilian Logic Society in Salvador, Bahia, Brazil. This book presents research on several aspects of model theory, proof theory, algebraic logic, category theory, and connections between logic and computer science.