Open Internet by MindsNet

CVC4's Automated Philosophy Verification

Hidden automated verification techniques in CVC4 for philosophical arguments about mental causation.

Interdisciplinary Fields, Cognitive Science, Philosophy of Mind