El Journal of Symbolic Logic (abreviado J. Symb. Log.) es una revista académica con arbitraje por pares dedicada a la lógica matemática y sus aplicaciones. Fundada en 1936, es una de las tres publicaciones oficiales de la Association for Symbolic Logic (ASL), junto con el Bulletin of Symbolic Logic y el Review of Symbolic Logic. Se publica trimestralmente y, en la actualidad, Cambridge University Press la edita en nombre de la ASL.
Journal of Symbolic Logic | ||
---|---|---|
País | Estados Unidos | |
Idioma | francés e Inglés | |
Abreviatura | J. Symb. Logic | |
Fundación | 1936 | |
Circulación | ||
ISSN | 0022-4812 | |
OCLC | 01782331 | |
Página web oficial | ||
El Journal of Symbolic Logic apareció por primera vez en marzo de 1936 como órgano de la recién fundada Association for Symbolic Logic. Desde entonces se ha consolidado como una de las cabeceras líderes en lógica matemática.[1][2]
En sus primeras décadas el JSL combinó artículos de investigación con reseñas bibliográficas y noticias de reuniones de la ASL. A partir de 1995, la sección de reseñas pasó al Bulletin of Symbolic Logic, que desde entonces alberga de manera sistemática las reseñas y resúmenes de tesis del área.
Una figura clave en la etapa formativa fue Alonzo Church, coeditor fundador y durante 1936–1979 editor de la sección de reseñas, cuya política editorial contribuyó a la reputación científica de la revista y de la disciplina.[1] El sitio de Cambridge Core indica a Steve Awodey como actual editor coordinador.
La revista publica investigación original de alta calidad en todas las áreas de la lógica matemática (teoría de modelos, teoría de conjuntos, teoría de la recursión, teoría de la demostración) y en sus conexiones con otras disciplinas. El objetivo editorial declarado es que los trabajos deben aportar innovación y resultar de interés para una audiencia amplia en lógica y áreas afines.[2][3]
Desde el 1 de enero de 2023, la revista considera solo manuscritos en inglés para su evaluación, alineando el idioma de publicación con los estándares actuales en matemáticas y lógica.[2]
El JSL se publica cuatro veces al año, en marzo, junio, septiembre y diciembre. La edición corre a cargo de Cambridge University Press en nombre de la ASL. Cuenta con preservación digital en CLOCKSS y Portico y la disponibilidad de primer visionado para artículos aceptados.[3]
La revista está indizada en los principales repertorios del área, entre ellos zbMATH Open (anteriomente conocida como Zentralblatt MATH) y SCImago Journal Rank.[4][5] El archivo retrospectivo y el acceso en línea están disponibles a través de Cambridge Core (edición corriente), Project Euclid y JSTOR.[3][6][7]
El JSL se distribuye conjuntamente con el Bulletin of Symbolic Logic (BSL), que desde 1995 acoge reseñas, resúmenes de tesis y materiales de referencia, mientras que el Review of Symbolic Logic (RSL) se ocupa de la lógica en sus fronteras con la filosofía y las ciencias. Las tres revistas son órganos oficiales de la ASL.