Journal of Symbolic Logic

Journal of Symbolic Logic (JSL, abreviat J. Symb. Log.) és una revista acadèmica en arbitrage per parells dedicada a la llògica matemàtica i les seues aplicacions. Fundada en 1936, és una de les tres publicacions oficials de l'Association for Symbolic Logic (ASL), junt en Bulletin of Symbolic Logic i Review of Symbolic Logic. Es publica trimestralment i, en l'actualitat, Cambridge University Press l'edita en nom de la ASL.

Història

Journal of Symbolic Logic va aparéixer per primera volta en març de 1936 com a orgue de la recent fundada Association for Symbolic Logic. Des de llavors s'ha consolidat com una de les capçaleres líders en llògica matemàtica.

En les seues primeres décades JSL va combinar artículs d'investigació en resenyes bibliogràfiques i notícies de reunions de la ASL. A partir de 1995, la secció de resenyes va passar a la revista Bulletin of Symbolic Logic, que des de llavors alberga de manera sistemàtica les resenyes i resums de tesis de l'àrea.

Una figura clau en l'etapa formativa va ser Alonzo Church, coeditor fundador i durant 1936–1979 editor de la secció de resenyes, la política editorial de la qual va contribuir a la reputació científica de la revista i de la disciplina. El lloc de Cambridge Core indica a Steve Awodey com a actual editor coordinador.

Àmbit i alcanç

La revista publica investigació original d'alta calitat en totes les àrees de la llògica matemàtica (teoria de models, teoria de conjunts, teoria de la recursión, teoria de la demostració) i en les seues conexions en atres disciplines. L'objectiu editorial declarat és que els treballs deuen aportar innovació i resultar d'interés per a una audiència àmplia en llògica i àrees afins.

Des de l'1 de giner de 2023, la revista considera sol manuscrits en anglés per a la seua evaluació, alineant l'idioma de publicació en els estàndarts actuals en matemàtiques i llògica.