From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies prope

From the point of view of non-classical logics, Heyting's implication is the smallest implication for which the deduction theorem holds. This book studies prope

Timothy Smiley has made ground-breaking contributions to modal logic, free logic, multiple-conclusion logic, and plural logic. This title brings together articl

This book is a specialized monograph on interpolation and definability, a notion central in pure logic and with significant meaning and applicability in all are