Asosisasi untuk Logika Simbolik