This book presents an English translation of a classic Russian text on duality theory for Heyting algebras. Written by Georgian mathematician Leo Esakia, the te

This volume composed of twenty four research articles which are selected from the keynote speakers and invited lectures presented in the 3rd International Congr

This book is an introduction to a functorial model theory based on infinitary language categories. The author introduces the properties and foundation of these

Edited in collaboration with FoLLI, the Association of Logic, Language and Information this book constitutes the refereed proceedings of the 26th Workshop on Lo