Comment by higherkinded

Okay but they are formal systems and don't have anything to do with AI either, do they?