Information completeness in Nelson algebras of rough sets induced by quasiorders

In this paper, we give an algebraic completeness theorem for constructive logic with strong negation in terms of finite rough set-based Nelson algebras determined by quasiorders. We show how for a quasiorder $R$, its rough set-based Nelson algebra can be obtained by applying the well-known construction by Sendlewski. We prove that if the set of all $R$-closed elements, which may be viewed as the set of completely defined objects, is cofinal, then the rough set-based Nelson algebra determined by a quasiorder forms an effective lattice, that is, an algebraic model of the logic $E_0$, which is characterised by a modal operator grasping the notion of "to be classically valid". We present a necessary and sufficient condition under which a Nelson algebra is isomorphic to a rough set-based effective lattice determined by a quasiorder.Comment: 15 page

Extracting information from intermediate semiconstructive HA-systems - extended abstract

n this abstract we will describe research in progress on the problem of extracting information from proofs. Here we will concentrate our attention on semiconstructive calculi, which is a kind of calculus that is of interest in the framework of program synthesis and formal verification. We will discuss the notion of uniformly semiconstructive calculus, introduce our information extraction mechanism and apply it to two calculi extending Intuitionistic Arithmetic

On maximal intermediate predicate constructive logics

We extend to the predicate frame a previous characterization of the maximal intermediate propositional constructive logics. This provides a technique to get maximal intermediate predicate constructive logics starting from suitable sets of classically valid predicate formulae we call maximal nonstandard predicate constructive logics. As an exam- ple of this technique, we exhibit two maximal intermediate predicate constructive logics, yet leaving open the problem of stating whether the two logics are distinct. Further properties of these logics will be also investigated

[acute Dapsone Exposure And Methemoglobinemia In Children: Treatment With Multiple Doses Of Activated Charcoal With Or Without The Administration Of Methylene Blue]

OBJECTIVE: To study the changes in methemoglobinemia of 17 children admitted with acute exposure to dapsone complicated by a methemoglobin concentration greater than 20% of the total hemoglobin. The children were treated with multiple doses of activated charcoal with or without the administration of methylene blue.PATIENTS AND METHODS: Seventeen patients (ages 1-13 y, median 3 y), were admitted 1-72 h after the ingestion of 100-1200 mg (median 350 mg, 10 patients) or an unknown amount of dapsone (7 patients). The methemoglobin blood concentrations upon admission ranged from 23.5%-49.7% (median 37.8%), and the main clinical features were cyanosis (17), tachycardia (17), vomiting (11) and tachypnea (8). All of the children received multiple doses of activated charcoal orally or via nasogastric tube (1g/kg, 10% solution, 4-6 times/day, 3-16 doses with a median of 8 doses). Twelve of the 14 patients with methemoglobin levels greater than 30% were also treated with a single dose of methylene blue (1-2% solution, 1-2 mg/kg) infused IV over 5 min.RESULTS: There was a progressive decrease in the methemoglobin levels after the beginning of both treatments (multiple doses of activated charcoal alone or associated with methylene blue), and only one dose of methylene blue was necessary. There were no significant statistical differences between the results of the two treatments according to the time-course decrease in methemoglobinemia (p=0.49 Wilcoxon test).CONCLUSIONS: Multiple doses of activated charcoal given when methemoglobin levels were greater than 20% can be considered as a possible treatment for pediatric patients, with or without the administration of methylene blue, after acute dapsone exposure.76290-

Hydrazones and Thiosemicarbazones Targeting Protein-Protein-Interactions of SARS-CoV-2 Papain-like Protease

The papain-like protease (PLpro) of SARS-CoV-2 is essential for viral propagation and, additionally, dysregulation of the host innate immune system. Using a library of 40 potential metal-chelating compounds we performed an X-ray crystallographic screening against PLpro. As outcome we identified six compounds binding to the target protein. Here we describe the interaction of one hydrazone (H1) and five thiosemicarbazone (T1-T5) compounds with the two distinct natural substrate binding sites of PLpro for ubiquitin and ISG15. H1 binds to a polar groove at the S1 binding site by forming several hydrogen bonds with PLpro. T1-T5 bind into a deep pocket close to the polyubiquitin and ISG15 binding site S2. Their interactions are mainly mediated by multiple hydrogen bonds and further hydrophobic interactions. In particular compound H1 interferes with natural substrate binding by sterical hindrance and induces conformational changes in protein residues involved in substrate binding, while compounds T1-T5 could have a more indirect effect. Fluorescence based enzyme activity assay and complementary thermal stability analysis reveal only weak inhibition properties in the high micromolar range thereby indicating the need for compound optimization. Nevertheless, the unique binding properties involving strong hydrogen bonding and the various options for structural optimization make the compounds ideal lead structures. In combination with the inexpensive and undemanding synthesis, the reported hydrazone and thiosemicarbazones represent an attractive scaffold for further structure-based development of novel PLpro inhibitors by interrupting protein-protein interactions at the S1 and S2 site

Purchasing management in a tertiary teaching hospital: a case study

Modelo do Estudo: Estudo de Caso. Objetivo do Estudo: O presente trabalho visou estudar o processo de compras e programação de materiais de um hospital público de ensino de nível terciário e analisar os perfis de itens de materiais de consumo faltantes em determinado período, com a finalidade de identificar como ferramentas de gestão de materiais podem ajudar na definição de políticas de compras e estoque. Metodologia: O estudo foi elaborado com base em análises qualitativas e quantitativas. As primeiras foram feitas por meio de coleta de dados relativos ao entendimento dos processos e estrutura interna da Divisão de Materiais do Hospital através de observação e entrevistas semiestruturadas entre o período de setembro a novembro de 2013. A relação dos itens faltantes em 2012 e 2013 foi obtida através do sistema de informação da instituição e a partir destes dados foram feitas as análises quantitativas dos perfis destes itens segundo as classificações ABC e VEN (ou XYZ). Resultado: Os resultados apontam que dos 8.595 itens de materiais de consumo do Hospital apenas 5% em quantidade são classificados como A na curva ABC, no entanto tais itens correspondem a 42% em valores. Já os itens vitais representam 49% do valor e 46% em termos de quantidade. Quando analisadas em conjunto, as duas curvas apontam que a maioria das quantidades de materiais de consumo do Hospital são classificados como vitais da curva C (36,35%) e os itens não essenciais da curva A representam tanto em valor como em quantidade a menor parcela de materiais. O perfil dos itens faltantes em 2012 e 2013 são semelhantes, o maior índice de faltas está nos itens vitais da curva C e a menor nos itens não essenciais da curva A. Conclusão: Por meio do estudo foi possível concluir que a definição de políticas de compras e estoques que analisem não somente recursos econômicos, mas também a criticidade dos itens para o funcionamento dos processos é fundamental, principalmente levando em consideração o atual contexto das organizações de saúde públicas, a fim de melhor otimizar recursos e minimizar faltas.Model Study: Case Study. Purpose of the Study: This study aims to explore the purchasing materials process in a tertiary teaching hospital and analyze the missing items profiles in a given period in order to identify how materials management tools can help optimizing purchasing and inventory policies. Methodology: The study was based on qualitative and quantitative analyses. The first was made by means of collecting data to understand both processes and internal structure of the Materials Division through observation and semi-structured interviews between September-November 2013. A list of missing items in 2012 and 2013 was obtained from system information in order to analyze the profiles of these items according to the ABC and VEN (or XYZ) ratings. Results: The results show that out of 8,595 items of consumable materials, only 5 % in volume are classified as A in ABC curve, however such items correspond to 42 % in value. On the other hand, vital items represent 49 % on value and 46 % in terms of quantity. When analyzed together, the two curves show that most quantities of consumables materials are classified as vital from the C curve (36.35%) whereas non-essential items from the A curve represent both in value and in volume the smallest amount portion of materials. The missing items profile in 2012 and 2013 were similar, the highest rate of faults is from vital and C curve materials and the smaller, of nonessentials of the A curve. Conclusion: Through the study, it can be concluded that the definition of procurement policies inventories from the analyses of not only economic resources, but also item’s criticality to processes is essential, especially considering the current context of public health organizations, in order to optimize resources and minimize materials faults

The Fatty Liver Index: a simple and accurate predictor of hepatic steatosis in the general population

BACKGROUND: Fatty liver (FL) is the most frequent liver disease in Western countries. We used data from the Dionysos Nutrition & Liver Study to develop a simple algorithm for the prediction of FL in the general population. METHODS: 216 subjects with and 280 without suspected liver disease were studied. FL was diagnosed by ultrasonography and alcohol intake was assessed using a 7-day diary. Bootstrapped stepwise logistic regression was used to identify potential predictors of FL among 13 variables of interest [gender, age, ethanol intake, alanine transaminase, aspartate transaminase, gamma-glutamyl-transferase (GGT), body mass index (BMI), waist circumference, sum of 4 skinfolds, glucose, insulin, triglycerides, and cholesterol]. Potential predictors were entered into stepwise logistic regression models with the aim of obtaining the most simple and accurate algorithm for the prediction of FL. RESULTS: An algorithm based on BMI, waist circumference, triglycerides and GGT had an accuracy of 0.84 (95%CI 0.81–0.87) in detecting FL. We used this algorithm to develop the "fatty liver index" (FLI), which varies between 0 and 100. A FLI < 30 (negative likelihood ratio = 0.2) rules out and a FLI ≥ 60 (positive likelihood ratio = 4.3) rules in fatty liver. CONCLUSION: FLI is simple to obtain and may help physicians select subjects for liver ultrasonography and intensified lifestyle counseling, and researchers to select patients for epidemiologic studies. Validation of FLI in external populations is needed before it can be employed for these purposes

A METHOD TO SINGLE OUT MAXIMAL PROPOSITIONAL LOGICS WITH THE DISJUNCTION PROPERTY .2.

AbstractThis is the first part of a paper concerning intermediate propositional logics with the disjunction property which cannot be properly extended into logics of the same kind, and are therefore called maximal. To deal with these logics, we use a method based on the search of suitable nonstandard logics, which has an heuristic content and has allowed us to discover a wide family of logics, as well as to get their maximality proofs in a uniform way. The present part illustrates infinitely many maximal logics with the disjunction property extending the well-known logic of Scott, and aims to provide a first picture of the method, sufficient for the reader who wish to achieve an overall understanding of it without entering into the further aspects developed in the second part. From this point of view, the latter will not be self-standing, but will be seen as a prosecution and a complement of the former, with the aim that the material presented in the whole paper can be used as a starting point for a classification of the subject