We investigate the system TRC of untyped illative combinatory logic that is equiconsistent with New Foundations. We prove that various unstratified combinators do not exist in TRC. Introduction. We prove some results in the axiomatic system TRC introduced in [3]. The system TRC (for ‘type-respecting combinators’) is an untyped system of combinatory logic, in the sense of [1], [2]. TRC is a firs...

background β-thalassemia is a prevalent genetic disease in mediterranean countries. the most common treatments for this disease are blood transfusion plus iron chelation (btic) therapy and bone marrow transplantation (bmt). patients using these procedures experience different health-related quality of life (hrqol). the purpose of the present study was to measure hrqol in these patients using 2...

background: the purpose of this research was to determine the traffic noise level and changes in the kerman city, southeast iran in recent years. methods: this cross-sectional study was carried out in 2008 to investigate the existing noise situation in kerman. sound levels (l max , l min , l eq , l 99 , l 90 , l 50 and l 10 ) were determined throughout 13 stations using sound level measurement ...

Ethoxyquin phosphate (EQ-P) and ethoxyquin hydrochloride (EQ-HCl) were synthesized and studied for genotoxic and antioxidant activities with the use of comet assay and micronucleus test performed on human lymphocytes. The results were compared with the activities of the earlier studied ethoxyquin (EQ; 1,2-dihydro-6-ethoxy-2,2,4-trimethylquinoline), a strong antioxidant used mainly as a preserva...

1. Introduction Recall that a fuzzy equivalence relation in a nonempty set S is a fuzzy relation eq : S×S → [0,1] such that eq(x,x) = 1 (reflexive); eq(x,y) = eq(y,x) (symmetric) ; eq(x,y)≈eq(y,z) ≤ eq(x,z) (≈-transitive) where ≈ is a t-norm. Now, as observed by De Cock and Kerre in [3], this notion is not suitable to model approximate equality and therefore to solve paradoxes like the so calle...

Background β-Thalassemia is a prevalent genetic disease in Mediterranean countries. The most common treatments for this disease are blood transfusion plus iron chelation (BTIC) therapy and bone marrow transplantation (BMT). Patients using these procedures experience different health-related quality of life (HRQoL). The purpose of the present study was to measure HRQoL in these patients using 2 ...

BACKGROUND Several mapping algorithms have been published with the EORTC-QLQ-C30 for estimating EQ-5D-3L utilities. However, none are available with EQ-5D-5L. Moreover, a comparison between mapping algorithms in the same set of patients has not been performed for these two instruments simultaneously. In this prospective data set of 100 non-small cell lung cancer (NSCLC) patients, we investigate...

BACKGROUND A five-level version of the EuroQol five-dimensional (EQ-5D) descriptive system (EQ-5D-5L) has been developed, but value sets based on preferences directly elicited from representative general population samples are not yet available. The objective of this study was to develop values sets for the EQ-5D-5L by means of a mapping ("crosswalk") approach to the currently available three-l...

EQ-algebras were introduced by Novak (2006) as an algebraic structure of truth values for fuzzy-type theory (FFT). Novák and De Baets (2009) various kinds such good, residuated, IEQ-algebras. In this paper, we define the notion (pre)ideal in bounded (BEQ-algebras) investigate some properties. Then, introduce a congruence relation on good BEQ-algebras using ideals, then, solve open problem Paad ...