– Logiken är intressant eftersom den å ena sidan är väldigt grundläggande: den är ett verktyg för att kontrollera giltigheten hos nästan alla argument. Å andra sidan har den många användbara konkreta tillämpningar inom datavetenskap, AI och andra vetenskaper, säger Tjeerd Fokkens, doktorand i logik vid Göteborgs universitet.
Läs vidare [Göteborgs universitet]