12 citations · 12 across the 1 of their papers we have counts for
1 paper · 1 filter
Diderik Batens
This paper concerns a goal directed proof procedure for the propositional fragment of the adaptive logic ACLuN1. At the propositional level, it forms an algorithm for final derivab…