Journal of Symbolic Logic

Summary

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 Ver y modificar los datos en Wikidata
Idioma francés e Inglés Ver y modificar los datos en Wikidata
Abreviatura J. Symb. Logic Ver y modificar los datos en Wikidata
Fundación 1936
Circulación
ISSN 0022-4812
OCLC 01782331
Página web oficial

Historia

editar

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.

Ámbito y alcance

editar

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]

Resumen bibliométrico e indexación

editar

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]

Relación con otras publicaciones de la ASL

editar

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.

Véase también

editar

Referencias

editar
  1. a b «Alonzo Church Papers - Philadelphia Area Archives». findingaids.library.upenn.edu. Consultado el 25 de agosto de 2025. 
  2. a b c «The Journal of Symbolic Logic – Association for Symbolic Logic» (en inglés estadounidense). Consultado el 25 de agosto de 2025. 
  3. a b c «About this journal». Cambridge Core (en inglés). Consultado el 25 de agosto de 2025. 
  4. «The Journal of Symbolic Logic - Serial Profile - zbMATH Open». zbmath.org. Consultado el 25 de agosto de 2025. 
  5. «Journal of Symbolic Logic». www.scimagojr.com. Consultado el 25 de agosto de 2025. 
  6. «Journal of Symbolic Logic». projecteuclid.org. Consultado el 25 de agosto de 2025. 
  7. «The Journal of Symbolic Logic | JSTOR». www.jstor.org (en inglés). Consultado el 25 de agosto de 2025. 

Enlaces externos

editar
  • Página oficial