El Bulletin of Symbolic Logic (abreviado Bull. Symb. Log.) es una revista académica trimestral, arbitrada, publicada por Cambridge University Press en nombre de la Association for Symbolic Logic. Fue fundada en 1995 para ofrecer publicaciones de alto nivel que, a la vez, fueran accesibles y de interés para un público amplio dentro de la lógica matemática y filosófica.[1]
Bulletin of Symbolic Logic | ||
---|---|---|
País | Estados Unidos | |
Idioma | Idioma inglés | |
Especialidad | Lógica matemática | |
Abreviatura | Bull. Symb. Log. | |
Fundación | 1995 | |
Desarrollo | ||
Editor | Association for Symbolic Logic | |
Publicador | Cambridge University Press | |
Circulación | ||
Frecuencia | Trimestral | |
ISSN | 1079-8986 | |
ISSN-e | 1943-5894 | |
OCLC | 67024889 | |
Página web oficial | ||
La creación del Bulletin fue aprobada por el Consejo de la ASL a comienzos de la década de 1990 con el objetivo explícito de mantener informada con rapidez a la comunidad lógica sobre desarrollos relevantes en todas las subáreas de la disciplina. El primer volumen apareció en 1995 y desde entonces la revista se publica de manera continua.[2][3]
Históricamente, el Bulletin también absorbió y consolidó funciones editoriales de la ASL: desde el año 2000 la sección de reseñas (analytical reviews) —que hasta 1999 aparecía en el Journal of Symbolic Logic— se edita en el Bulletin. Además, el Bulletin publica resúmenes de tesis, informes de reuniones de la ASL y listados anuales de autoridades y membresías de la asociación.[1][4] Actualmente, la revista se publica en Cambridge Core con periodicidad de cuatro números al año (marzo, junio, septiembre y diciembre), mantiene archivo digital permanente y ofrece acceso a números retrospectivos mediante JSTOR.[1][5]
El Bulletin publica contribuciones que cubren desde resultados y métodos en teoría de modelos, teoría de la demostración, teoría de conjuntos, recursión y computabilidad, hasta lógicas filosóficas y no clásicas, historia y filosofía de la lógica, y cuestiones metodológicas en la filosofía de la matemática. Esta amplitud temática es parte de su misión institucional como órgano de la ASL.
Los manuscritos se gestionan mediante un sistema externo de revisión por pares (Online Peer Review Service) y deben seguir las instrucciones de autor específicas de Cambridge Core. Desde 1 de enero de 2023, solo se consideran trabajos en inglés.[6][7]
El Bulletin es una revista híbrida. Permite publicar en acceso abierto dorado (con licencia Creative Commons y, por lo general, con APC) o mediante vía verde (depósito del manuscrito aceptado tras embargo). Asimismo, participa en iniciativas de acuerdos transformativos y preserva su contenido digital en CLOCKSS y Portico.[1][8]
El Bulletin of Symbolic Logic está indexado y reseñado por bases especializadas de matemáticas y lógica, incluyendo zbMATH Open (anteriomente conocida como Zentralblatt MATH).[9] Además, mantiene cobertura archivística y de consulta en JSTOR para todos sus volúmenes desde 1995. Indicadores de clasificación y citación (como SCImago Journal Rank o Web of Science) sitúan a la revista en las categorías de Lógica y Matemáticas, reflejando su perfil principalmente expositivo y de comunicaciones.[3][10][11]
El Bulletin forma, junto con el Journal of Symbolic Logic (JSL) y el Review of Symbolic Logic (RSL), el conjunto de órganos oficiales de la ASL. A grandes rasgos, el JSL publica investigación de primera línea en lógica matemática; el RSL se orienta más a la interfaz entre lógica, filosofía, ciencias especiales en sentido amplio y computación; y el Bulletin enfatiza artículos expositivos amplios, comunicaciones, reseñas y materiales institucionales.