Universal logic is the field of logic that studies the common features of all logical systems, aiming to be to logic what universal algebra is to algebra. A number of approaches to universal logic have been proposed since the twentieth century, using model-theoretic and categorical approaches.

The roots of universal logic may go as far back as some work of Alfred Tarski in the early twentieth century, but the modern notion was first presented in the 1990s by Swiss logician Jean-Yves Béziau.

Some Relevant Editions

Conferences on Universal Logic relevant to the ISSC2016 Theme