The cognitive processes of abstraction and formal inferences | IEEE Conference Publication | IEEE Xplore