Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds seve

The rediscovery of Aristotle in the late twelfth century led to a fresh development of logical theory, culminating in Buridan’s crucial comprehensive treatmen

A growing interest in many-valued logic has developed which to a large extent is based on applications, intended as well as already realised ones. These applica

Epistemic logic is the branch of philosophical thought that seeks to formalize the discourse about knowledge. Its object is to articulate and clarify the genera