Editorial: Special issue on non-classical mathematics

The 20th century witnessed not only incredible advances in the model theory and proof theory of classical logic, but also a corresponding advance of non-classical (or, as they are also called, non-standard) logics—i.e. the logics that either non-trivially extend, or actually compete with, classical logic of the Aristotelian, Stoic and Boolean tradition… CONTINUE READING