Studia Logica: An International Journal for Symbolic Logic, Vol. 43, No. 3 (1984), pp. 203-216 (14 pages) We propose a first order modal logic, the QS4E-logic, obtained by adding to the well-known ...

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics. At its heart, mathematical logic provides rigorous formal ...

The object of this paper is to show how one is able to construct a paraconsistent theory of models that reflects much of the classical one. In other words the aim is to demonstrate that there is a ...

This course is available on the MPhil/PhD in Philosophy of the Social Sciences, MSc in Economics and Philosophy, MSc in Philosophy of Science and MSc in Philosophy of the Social Sciences. This course ...

This post was updated Aug. 31 at 7:59 p.m. Warning: Spoilers for R.F. Kuang’s “Katabasis” ahead. “Katabasis” is an intriguing book for academics but possibly a challenging journey for casual readers.

Linear logic is one of the most studied logics in theoretical computer science, especially from the denotational semantics point of view. Several important models, such as coherence spaces or games, ...