This book investigates the formal methodology of 'fibring' as a unified framework for combining disparate logical systems into complex, functional architectures. Dov M. Gabbay, a prominent researcher in logic and computer science, utilizes his extensive background in non-classical logics to propose a systematic approach for decomposing complex systems into manageable components. The text argues that by understanding the interaction between simpler logical building blocks, one can derive properties for multimodal, intuitionistic, and fuzzy systems in a consistent manner.

Experts in the field of formal logic recognize this work as a foundational text for understanding the mechanics of combining logical systems. Readers frequently note the high level of technical density, making it a specialized resource for researchers in theoretical computer science and mathematical logic.