P Smolensky, B Fox, R King… - Cognitive Science and Its …, 2013 - taylorfrancis.com
Reasoning is a demanding intellectual task that is greatly facilitated by appropriate
notational systems. This chapter reports a new notational system we are developing for …