There is a well known interplay between the study of algebraic varieties and propositional calculus of various logics. Prime examples of this are boolean algebras and classical logic, and Heyting algebras and intuitionistic logic. After the class of Heyting algebras was generalized to the semi-Heyting algebras by H. Sankappanavar in [San08], its logic counterpart was developed by one of us in [...

in statistical inference, the point estimation problem is very crucial and has a wide range of applications. when, we deal with some concepts such as random variables, the parameters of interest and estimates may be reported/observed as imprecise. therefore, the theory of fuzzy sets plays an important role in formulating such situations. in this paper, we rst recall the crisp uniformly minimum ...