Studia Logica

Studia Logica publishes original papers on various logical systems, which utilize methods of contemporary formal logic, such as those of algebra, model theory, proof theory and others. More specifically, the journal offers articles on topics in general logic (as defined in 1991 Mathematical Subject Classification) and on applications of logic to other branches of knowledge such as philosophy, the methodology of science or linguistics. The distinctive feature of Studia Logica is its series of monothematic issues edited by outstanding scholars and devoted to important topics of contemporary logic or covering significant conferences.