Boris Čulina, Logic of paradoxes in classical set theories, Synthese, Vol. 190, No. 3 (February 2013), pp. 525-547 ...

Mathematical logic, set theory, lattices and universal algebra form an interconnected framework that underpins much of modern mathematics.

The Journal places a special emphasis on the applications of philosophical logic in other disciplines, not only in mathematics and the natural sciences but also, for example, in computer science, ...