We introduce proper display calculi for intuitionistic, bi-intuitionistic and classical linear logics with exponentials, which are sound, complete, conservative, and enjoy cut-elimination and subformula property. Based on the same design, we introduce a variant of Lambek calculus with exponentials, aimed at capturing the controlled application of exchange and associativity. Properness (i.e. clo...

Agenesis of the corpus callosum may be diagnosed successfully in vivo when sonograms demonstrate absence of corpus callosum; absence of pericallosal and cingulate sulci; "sunburst" pattern of sulci along the medial surface of the hemisphere; wide interhemispheric fissure; elevation of the third ventricle; small, laterally positioned frontal horns with concave medial borders; large, laterally po...

Gnathic (mandibular) osteosarcomas (OSs) account for approximately 6.5% of all OS, and most of them are secondary in nature, occurring in patients with Paget disease or fibrous dysplasia or as a late sequela to craniofacial radiotherapy. Primary OS of the jaw is rare and presents approximately two decades later than its appendicular counterpart; metastasis is uncommon with primary OS, and it ha...

Particularly in contexts of online group collaboration, learning and becoming can be displayed by the participants in ways that render it observable to researchers. In this study, a team of three students displays its growing mastery of dynamic-geometry techniques and discourse. In one session, the team struggles to solve a challenging problem and succeeds as a group. In the next session, it di...

In this work we apply a phase-shifting interferometry (PSI) to evaluate the reconstruction of complex-valued holograms displayed onto phase-only spatial light modulator (SLM). The interferometer is vibration-free since it uses common-path polarization arrangement based on SLM itself, which used simultaneously display hologram and values. change from configuration involves only rotation polarize...