A LOGICS