The amalgamation property (AP) is of particular interest in the study of residuated lattices due to its relationship with various syntactic interpolation properties of substructural logics. There are no examples to date of non-commutative varieties of residuated lattices that satisfy the AP. The variety SemRL of semilinear residuated lattices is a natural candidate for enjoying this property, s...

1Department of Community Medicine, Saddam College of Medicine, Baghdad, Iraq. 2Chest and Respiratory Diseases Institute, Baghdad, Iraq. 3National Tuberculosis Programme Manager, Ministry of Health, Baghdad, Iraq. ABSTRACT In a prospective cohort study in Iraq, schoolchildren with a positive tuberculin skin test during the nationwide survey in 2000 were followed up in 2002 to determine prevalenc...

In the present series of experiments peripheral informative cues were used in order to dissociate endogenous and exogenous orienting of spatial attention using the same set of stimuli. For each block of trials, the cue predicted either the same or the opposite location of target appearance. Crucially, using this manipulation, both expected and unexpected locations could be either cued or uncued...

A closed λ-termM is easy if, for any other closed termN , the lambda theory generated by M = N is consistent, while it is simple easy if, given an arbitrary intersection type τ , one can find a suitable pre-order on types which allows to derive τ forM . Simple easiness implies easiness. The question whether easiness implies simple easiness constitutes Problem 19 in the TLCA list of open problem...

Th e aim of this paper is to evaluate the level of gender bias in Aristotle’s Generation of Animals while exercising due care in the analysis of its arguments. I argue that while the GA theory is clearly sexist, the traditional interpretation fails to diagnose the problem correctly. Th e traditional interpretation focuses on three main sources of evidence: (1) Aristotle’s claim that the female ...

Robert Light, et al., “Modi?cation of geometric models through variational geometry,” ComputerAided Design, vol. 14, No. 4, pp. 209-214, Jul., 1982. Pigel, L. et al, “Curve and Surface Construction Unsing Rational B-splines,” Computer Aided Design, vol. 19, No. 9, pp. 485-497, Nov., 1987. Shimada, T. et al., “Approximate Transformation of Arbi trary Curved Surface Into a Plane using Dynamic Pro...

Cell-permeating esters of 2-ketoglutarate (2-KG) have been synthesized through a convergent sequence from two modules in two and three steps, respectively. This route provides access to a full series of monoand disubstituted 2-KG esters, enabling us to define the effect of regioisomeric masking on metabolite release and antihypoxic activity in cell-based assays. In addition to providing insight...

Solar cells and photodetectors are devices that convert an optical input into current. A solar cell is an example of a photovoltaic device, i.e, a device that generates voltage when exposed to light. The photovoltaic effect was discovered by Alexander-Edmond Becquerel in 1839, in a junction formed between an electrode (platinum) and an electrolyte (silver chloride). The first photovoltaic devic...