Hypersequents are a natural generalization of ordinary sequents which turn out to be a very suitable tool for presenting cut-free Gentzent-type formulations for diverse logics. In this paper, an alternative way of formulating hypersequent calculi (by introducing meta-variables for formulas, sequents and hypersequents in the object language) is presented. A suitable category of hypersequent calculi with their morphisms is defined and both types of fibring (constrained and unconstrained) are introduced. The introduced morphisms induce a novel notion of translation between logics (...) which preserves metaproperties in a strong sense. Finally, some preservation features are explored. (shrink)

Across a series of four experiments with 3- to 4-year-olds we demonstrate how cognitive mechanisms supporting noun learning extend to the mapping of actions to objects. In Experiment 1 the demonstration of a novel action led children to select a novel, rather than a familiar object. In Experiment 2 children exhibited long-term retention of novel action-object mappings and extended these actions to other category members. In Experiment 3 we showed that children formed an accurate sensorimotor record of the novel action. (...) In Experiment 4 we demonstrate limits on the types of actions mapped to novel objects. Overall these data suggest that certain aspects of noun mapping share common processing with action mapping and support a domain-general account of word learning. (shrink)