search

carneades / carneades-4

Version 4 of Carneades, implemented in Go
https://carneades.github.io/
Other
48 stars 13 forks source link

check that IDs are ground atomic formula #42

Open Torjas opened 7 years ago

Torjas commented 7 years ago

Extend the validator to check that all IDs in argument schemes are a ground atomic formula.