The logics of orthoalgebras

The notion of unsharp orthoalgebra is introduced and it is proved that the category of unsharp orthoalgebras is isomorphic to the category of D-posets. A completeness theorem for some partial logics based on unsharp orthoalgebras, orthoalgebras and orthomodular posets is proved.     

Kripke Semantics, Undecidability and Standard Completeness for Esteva and Godo's Logic MTL∀

The present paper deals with the predicate version MTL of the logic MTL by Esteva and Godo. We introduce a Kripke semantics for it, along the lines of Ono's Kripke semantics for the predicate version of FL_ew (cf. [O85]), and we prove a completeness theorem. Then we prove that every predicate logic between MTL and classical predicate logic is undecidable. Finally, we prove that MTL is complete with respect to the standard semantics, i.e., with respect to Kripke frames on the real interval [0,1], or equivalently, with respect to MTL-algebras whose lattice reduct is [0,1] with the usual order.     

Quadriceps Torque,Peak Variability and Strength Endurance in Patients after Anterior Cruciate Ligament Reconstruction: Impact of Local Muscle Fatigue

Abstract

We tested if ACL-reconstructed participants show a decreased quadriceps torque, a lower muscle endurance capacity and a higher peak torque variability compared to unimpaired control participants prior to and following local muscle fatigue. Participants (n?=?19, 10 women; 25?±?5yrs.) with unilateral hamstrings autograft ACL-reconstruction and a matched unimpaired control group were recruited. Participants performed two maximal isometric voluntary force (MIVF) contractions of the knee extensors. In between, standardized local muscle fatigue was induced. ACL-reconstructed knees display a lower peak torque of the knee extensors in comparison to the contralateral limb (3.2?±?.3Nm/kg vs. 3.5?±?.3 Nm/kg). Peak torque variability and fatigue resistance were not affected by local muscle fatigue (p > .05). Participants with ACL-reconstructed knees show a persistent quadriceps muscle dysfunction. This dysfunction and lower limb side asymmetries might be risk factors for ACL re-ruptures.     

Infants’ responses to objects representing levels of word knowledge and categorical information

The effects of differing levels of word knowledge on infants’ sequential touching behaviors were investigated in two studies. In both, parent report was used to assess three levels of word knowledge: known, frontier, and unknown. In the first study, 14-month-old infants sequentially touched objects consistent with parents’ reports of their word knowledge. In the second study, 20-month-old infants sequentially touched objects by both conceptual category and reported level of word knowledge. It appears that even infants, like adults, can make distinctions among objects on the basis of their knowledge about the objects’ labels.     

认知方式与幼儿部分遮挡绘画关系的研究

本研究考察了５—６岁儿童不同认知方式对部分遮挡绘画任务的影响。实验设定不同形式的误导情境,共有两部分组成。研究结果表明：１．儿童绘画表征水平的发展存在个别差异。２．在误导情境下,场独立儿童比场依存儿童能保持较稳定的策略选择倾向。３．画两个相同物体的遮挡要难于画两个不同物体的遮挡。４．在符号概念编码和空间编码中间存在着一些过渡形态。