Homunculus' Brain and Categorical Logic.

Published in: CoRR (2019)

Keyphrases

human brain
categorical data
modal logic
classical logic
electrical activity
logic programming
brain images
multi valued
brain activity
sound and complete axiomatization
neural network
proof theory
asynchronous circuits
numerical values
digital circuits
defeasible logic
computational properties
automated reasoning