- Studia Logica
Focuses on various logical systems, which utilize methods of contemporary formal logic including those of algebra, model theory, and proof theory.
www.wkap.nl/journalhome.htm/0039-3215
- Journal of Applied Non-Classical Logics (JANCL)
International tribune, which aims at promoting the development of non-classical logics in Computer Science.
www.irit.fr/ACTIVITES/EQ_ALG/Jancl
|