Universal logic

Universal logic is the field of logic that studies the features common to 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 theoretical, and categorical approaches.