We develop a duality theory for small Boolean pretoposes in which the dual of the [italic capital]T is the groupoid of models of a Boolean pretopos [italic capi

Proceedings of a conference held at Centre de recherches mathematiques of the Universite de Montreal, June 18-20, 2009.

Introducing Stone-Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers wi

Reconsiders the role of formal logic in the analytic approach to philosophy, using cutting-edge mathematical techniques to elucidate twentieth-century debates.

The first edition of the Handbook of Philosophical Logic (four volumes) was published in the period 1983-1989 and has proven to be an invaluable reference work