Det traditionella synsättet är att en giltig slutledning består av en serie härledningssteg, som ska följa vissa
sanningsbevarande regler. Slutledningen börjar med premisser, som antas vara sanna, och leder fram till den slutsats som ska bevisas. Projektet ansluter till en väl etablerad forskningslinje som studerar cirkulära och icke-välgrundade bevis.
