A Note on the Use of Sum in the Logic of Proofs

The Logic of Proofs~LP, introduced by Artemov, encodes the same reasoning as the modal logic~S4 using proofs explicitly present in the language. In particular, Artemov showed that three operations on proofs (application~$\cdot$, positive introspection~!, and sum~+) are sufficient to mimic provability concealed in S4~modality. While the first two operations go back to G{\"o}del, the exact role of~+ remained somewhat unclear. In particular, it was not known whether the other two operations are sufficient by themselves. We provide a positive answer to this question under a very weak restriction on the axiomatization of LP.

A complementary radiographic projection of the equine temporomandibular joint

The complexity of the equine skull makes the temporomandibular joint a difficult area to evaluate radiographically. The goal of this study was to determine the optimal angle for a complementary radiographic projection of the equine temporomandibular joint based on a computed tomography (CT) cadaver study. CT was performed on six equine cadaver heads of horses that were euthanized for other reasons than temporomandibular joint disease. After the CT examination, 3D reconstruction of the equine skull was performed to subjectively determine the angle for a complementary radiographic projection of the temporomandibular joint. The angle was measured on the left and right temporomandibular joint of each head. Based on the measurements obtained from the CT images, a radiographic projection of the temporomandibular joint in a rostra-145 degrees ventral-caudodorsal oblique (R45 degrees V-CdDO) direction was developed by placing the X-ray unit 30 degrees laterally, maintaining at the same time the R45 degrees V-CdDO angle (R45 degrees V30 degrees L-CdDLO). This radiographic projection was applied to all cadaver heads and on six live horses. In three of the live horses abnormal findings associated with the temporomandibular joint were detected. We conclude that this new radiographic projection of the temporomandibular joint provides superior visualization of the temporomandibular joint space and the articular surface of the mandibular condyle.

Evaluation of Hay-Type and Grazing Tolerant Alfalfa Hybrids in Season-Long or Complementary Rotational Stocking Systems for Beef Cows

Pastures containing hay-type and grazing tolerant alfalfa hybrids were grazed in a season-long or complementary rotational stocking system with Nfertilized smooth bromegrass. The pastures were stocked at a seasonal density of .8 cow-calf pairs per acre for 120 days in 1998 and 141 days in 1999. Pastures were intensively managed by daily stripstocking with the assumptions that 50% of live forage was available and daily live dry matter consumption of each cow-calf pair was 3.5% of the cow’s body weight. First-cutting forage was harvested as hay from 40% of the pasture acres to remove excess forage growth early in the grazing season. Grazing occurred on the remaining 60% of each pasture for the first 44 and 54 days and 100% of each pasture after days 45 and 55 in 1998 and 1999, respectively. Proportions of ‘Amerigraze’ and ‘Affinity’ alfalfa in the live forage dry matter decreased by 70% and 55% in pastures stocked season-long and by 60% and 42% in pastures used for complementary stocking (alfalfa type, p<.05; grazing management, p<.05) in 1998, but decreased by a mean of 72% and was unaffected by hybrid or stocking system in 1999. Cows grazing either alfalfa hybrid by either grazing system had greater weight gains during the breeding and overall grazing seasons and greater increases in body condition score pre-breeding and during the breeding season than the cows that grazed smooth bromegrass for the entire season in 1998. Also, cows grazing either alfalfa hybrid in the season-long system had greater breeding season increases in body condition score than cows grazing alfalfa in the complementary system with smooth bromegrass in 1998. Cows grazing in the season-long alfalfa system had greater prebreeding season weight (p<.10) increases and condition score (p<.05) increases than cows grazing alfalfa in the complementary system in 1999. Daily and seasonal body weight gains of calves were not affected (p>.10) by the presence of alfalfa in 1998 or by alfalfa type and grazing management in 1998 and 1999. Total animal production (cow and calf) in 1998 was greater (p<.10) from the season-long alfalfa pastures compared with the complementary stocked pastures. Total (p<.10) and live (p<.05) forage masses, estimated by monthly clippings, were greater in September of 1998 from the season-long alfalfa pastures than pastures using alfalfa for complementary stocking. Total (p<.10) and live (p<.05) forage masses were greater in August of 1999 from season-long alfalfa pastures than pastures using alfalfa for complementary stocking.

Evaluation of Hay-Type and Grazing Tolerant Alfalfa Hybrids in Season-Long or Complementary Rotational Stocking Systems for Beef Cows

Pastures containing hay-type and grazing tolerant alfalfa hybrids were grazed in a season-long or complimentary rotational stocking system with Nfertilized smooth bromegrass. The pastures were stocked at a seasonal density of .8 cow-calf pairs per acre for 120 days. Pastures were intensively managed by daily strip-stocking with the assumptions that 50% of live forage was available and daily live dry matter consumption of each cow-calf pair was 3.5% of the cow’s body weight. First-cutting forage was harvested as hay from 40% of pasture acres to remove excess forage growth early in the grazing season. Forage was grazed from the remaining 60% of each pasture for the first 44 days of the experiment and then from the entire pasture thereafter. Live forage yields, estimated by monthly clippings, were greater in May and September on the season-long alfalfa pastures compared with the complementary pastures and on the alfalfa pastures compared with the N-fertilized smooth bromegrass pastures. The proportions of legumes in the live dry matter in pastures with grazing tolerant and hay-type alfalfas in the season-long grazing systems declined by 70% and 50%, respectively, in the 120 day trial. The proportions of legumes in the live dry matter in pastures with grazing tolerant and the hay-type alfalfas in the complementary grazing system declined 60% and 42%, respectively, in the 120 day trial. Cows grazing either alfalfa hybrid by either management system had greater weight gains during the breeding and grazing seasons and greater increases in body condition score prebreeding and during the breeding season than the cows that grazed N-fertilized smooth bromegrass for the entire season. Also, cows grazing either alfalfa in the season-long system had greater breeding season increases in body condition score than cows grazing alfalfa in the complementary system with N-fertilized smooth bromegrass. Daily gains and seasonal gains of calves from cows grazing the alfalfa pastures tended to be greater than those grazing N-fertilized smooth bromegrass. Within alfalfa treatments, calves of cows grazing alfalfa pastures in the season-long system tended to produce more pounds per acre than those of cows grazing alfalfa in the complementary systems.

A 6'-Fluoro-Substituent in Bicyclo-DNA Increases Affinity to Complementary RNA Presumably by CF-HC Pseudohydrogen Bonds

The synthesis of a novel bicyclic thymidine analogue carrying a β-fluoro substituent at C6' (6'F-bcT) has been achieved. Key steps of the synthesis were an electrophilic fluorination/stereospecific hydrogenation sequence of a bicyclo sugar intermediate, followed by an N-iodo-succinimide-induced stereoselective nucleosidation. A corresponding phosphoramidite building block was then prepared and used for oligonucleotide synthesis. Tm measurements of oligonucleotides with single and double incorporations showed a remarkable stabilization of duplex formation particularly with RNA as complement without compromising pairing selectivity. Increases in Tm were in the range of +1-2 °C compared to thymidine and +1-3 °C compared to a standard bc-T residue. Structural investigations of the 6'F-bcT nucleoside by X-ray crystallography showed an in-line arrangement of the fluorine substituent with H6 of thymine, however, with a distance that is relatively long for a nonclassical CF-HC hydrogen bond. In contrast, structural investigations in solution by (1)H and (13)C NMR clearly showed scalar coupling of fluorine with H6 and C6 of the nucleobase, indicating the existence of at least weak electrostatic interactions. On the basis of these results, we put forward the hypothesis that these weak CF-HC6 electrostatic interactions increase duplex stability by orienting and partially freezing torsion angle χ of the 6'F-bcT nucleoside.

Investigation of the inhibitory effects of the benzodiazepine derivative, 5-BDBD on P2X4 purinergic receptors by two complementary methods

BACKGROUND/AIMS ATP-gated P2X4 purinergic receptors (P2X4Rs) are cation channels with important roles in diverse cell types. To date, lack of specific inhibitors has hampered investigations on P2X4Rs. Recently, the benzodiazepine derivative, 5-BDBD has been proposed to selectively inhibit P2X4Rs. However, limited evidences are currently available on its inhibitory properties. Thus, we aimed to characterize the inhibitory effects of 5-BDBD on recombinant human P2X4Rs. METHODS We investigated ATP-induced intracellular Ca(2+) signals and whole cell ion currents in HEK 293 cells that were either transiently or stably transfected with hP2X4Rs. RESULTS Our data show that ATP (< 1 μM) stimulates P2X4R-mediated Ca(2+) influx while endogenously expressed P2Y receptors are not activated to any significant extent. Both 5-BDBD and TNP-ATP inhibit ATP-induced Ca(2+) signals and inward ion currents in a concentration-dependent manner. Application of two different concentrations of 5-BDBD causes a rightward shift in ATP dose-response curve. Since the magnitude of maximal stimulation does not change, these data suggest that 5-BDBD may competitively inhibit the P2X4Rs. CONCLUSIONS Our results demonstrate that application of submicromolar ATP concentrations allows reliable assessment of recombinant P2XR functions in HEK 293 cells. Furthermore, 5-BDBD and TNP-ATP have similar inhibitory potencies on the P2X4Rs although their mechanisms of actions are different.