Bug in the ASPIC evaluator

carneades / carneades-3

Third version of Carneades, an integrated set of tools for argument (re)construction, evaluation, mapping and interchange.

http://carneades.github.io

38 stars 6 forks source link

Open pallix opened 9 years ago

pallix commented 9 years ago

There is a bug in the ASPIC evaluator. Argument was in even if one its premises was out.