Goguen categories extend the relational calculus and its categorical formalization to the fuzzy world. Starting from the fundamental concepts of sets, binary re

Demonstrates how category theory can be used for formal software development. The mathematical toolbox for the Software Engineering in the new age of complex in

This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating

This book is dedicated to the memory of Ole-Johan Dahl who passed away in June 2002 at the age of 70, shortly after he had received, together with his colleague

Today, Fuzzy Set Theory is the core discipline of so-called ‘soft’ computing, and provides new impetus for research in the field of artificial intelligence.