Association for Symbolic Logic

The Association for Symbolic Logic (ASL) is a professional organization dedicated to the study of symbolic logic and its applications. Established in 1936, the ASL promotes research and education in the field of logic, which includes areas such as mathematical logic, philosophical logic, and computational logic. The organization publishes several journals, organizes conferences, and provides resources for scholars and students interested in logic.