Association for Symbolic Logic
From Wikipedia, the free encyclopedia
Fondation
1936
Type
Organisme de recherche international
Domaines d'activité
Association for Symbolic Logic (ASL)
| Fondation |
1936 |
|---|
| Type |
Organisme de recherche international |
|---|---|
| Forme juridique | |
| Domaines d'activité | |
| Siège | |
| Pays | |
| Langue |
| Président | |
|---|---|
| Président |
Alasdair Urquhart |
| Vice Président |
Ulrich Kohlenbach |
| Secrétaire |
Charles Steinhorn |
| Site web |
L'Association for Symbolic Logic ou ASL, est une organisation internationale regroupant des spécialistes et chercheurs en logique mathématique et logique philosophique. L'ASL a été fondée en 1936[1] et son premier président fut Alonzo Church. Le président actuel de l'ASL est Alasdair Urquhart (en).
L'Association for Symbolic Logic publie de nombreux ouvrages académiques et revues universitaires. De nombreuses œuvres publiées par l'ASL sont consultables en ligne par l'intermédiaire du projet Euclide[2].
L'association édite ou collabore aux journaux suivants :
- Journal of Symbolic Logic [3] – créée en 1936, dans cette revue sont publiés des études dans tous les domaines de la logique mathématique. (ISSN 0022-4812).
- Bulletin of Symbolic Logic – créée en 1995, dans cette revue sont publiés des revues d'ouvrages, d'articles d'histoire ou d'actualité concernant le domaine de la logique, de l'association ou diverses actualités de domaines connexes. Jusqu'en 1999 des revues d'articles d'Ernest Schimmerling y étaient présentes. (ISSN 1079-8986).
- Review of Symbolic Logic – créée en 2008, dans cette revue sont publiés des études relatives à la logique, la philosophie, la science, l'informatique, et de leurs interactions. (ISSN 1755-0203).
- L'association subventionne également le Journal of Logic and Analysis[4]. Cette revue étudie et analyse les interactions de la logique mathématique avec les autres domaines des mathématiques. Y sont publiés des articles d'analyse non standard ou portant sur les domaines connexes à la théorie des modèles. On y trouve également des extraits de documents ou des articles en rapport à tous les domaines de la logique mathématique (ISSN 1759-9008).
L'association publie également des œuvres de Kurt Gödel[5].
