This work addresses the complexities involved in aspectual composition by presenting a cognitively motivated analysis that makes use of active event representations. Verbs, arguments and temporal modiiers are characterized in terms of the conceptual features they impose or contribute to this framework, which employs representations of both motor-schematic and image-schematic change. By accommod...

The schematic CERES method [?] is a recently developed method of cut elimination for proof schemata, that is a sequence of proofs with a recursive construction. Proof schemata can be thought of as a way to circumvent adding an induction rule to the LK-calculus. In this work, we formalize a schematic version of the infinitary pigeonhole principle, which we call the Non-injectivity Assertion sche...

In the 1960s and 70s, researchers paid a great deal of attention to schematic memory, or memory for thematic information. In the 1980s and 90s, this research ground to a halt, in large part because researchers lacked a strong theoretical framework for the study of schematic memory. We suggest that structure-mapping theory, a theory of analogy and similarity comparisons, may provide such a frame...

in previous editorials[1,2] we explained about available fields of inter-disciplinary researches (idrs) in iran,[2] professional, organizational, cultural obstacles, and required polices for development of idrs in iran.[1] in this editorial, i want to discuss about one of the idr fields in iran that seems to have more available conditions for marketing comparing to other interdisciplinary areas.