Open Internet by MindsNet
ACL2's Philosophical Logic Extensions
Hidden philosophical logic extensions in ACL2 for mechanizing arguments about personal identity and consciousness.
Interdisciplinary Fields, Cognitive Science, Philosophy of Mind
Open Internet by MindsNet
Hidden philosophical logic extensions in ACL2 for mechanizing arguments about personal identity and consciousness.
Interdisciplinary Fields, Cognitive Science, Philosophy of Mind