Automated theorem proving for non-classical logics

Automated theorem proving for non-classical logics     

Visuospatial working memory for locations,colours, and binding in typically developing children and in children with dyslexia and non‐verbal learning disability

This study examined forward and backward recall of locations and colours and the binding of locations and colours, comparing typically developing children – aged between 8 and 10 years – with two different groups of children of the same age with learning disabilities (dyslexia in one group, non‐verbal learning disability [NLD] in the other). Results showed that groups with learning disabilities had different visuospatial working memory problems and that children with NLD had particular difficulties in the backward recall of locations. The differences between the groups disappeared, however, when locations and colours were bound together. It was concluded that specific processes may be involved in children in the binding and backward recall of different types of information, as they are not simply the resultant of combining the single processes needed to recall single features.