we study interior operators and interior structures in a fuzzy setting.we investigate systems of “almost open” fuzzy sets and the relationshipsto fuzzy interior operators and fuzzy interior systems.

in this paper we propose and construct fuzzy algebraic additive model, for the estimation of risk in various fields of human activities or nature’s behavior. though the proposed model is useful in a wide range of scientific fields, it was designed for to torrential risk evaluation in the area of river evros. clearly the model’s performance improves when the number of parameters and the actual d...

in this paper, a new method is proposed to find the fuzzy optimal solution of fully fuzzy linear programming (abbreviated to fflp) problems. also, we employ linear programming (lp) with equality constraints to find a nonegative fuzzy number vector x which satisfies ax =b, where a is a fuzzy number matrix. then we investigate the existence of a positive solution of fully fuzzy linear system (ffls).

Superdeduction is a systematic way to extend a deduction system like the sequent calculus by new deduction rules computed from the user theory. We show how this could be done in a systematic, correct and complete way. We prove in detail the strong normalisation of a proof term language that models appropriately superdeduction. We finaly examplify on several examples, including equality and noet...

we present a methodology for characterization and an approach for computing the solutions of fuzzy linear systems with lr fuzzy variables. as solutions, notions of exact and approximate solutions are considered. we transform the fuzzy linear system into a corresponding linear crisp system and a constrained least squares problem. if the corresponding crisp system is incompatible, then the fuzzy ...

Two logics are implicationally equivalent if the axioms and inference rules of each imply the axioms of the other. Characterizing equivalences of various formulations of the sentential calculi is foundational to the study of logic. Using an automated deduction system, I show that Church's P2 sentential calculus can be derived from Łukasiewicz's CN. To prove each of the axioms of P2, the deducti...

Model order deduction algorithms have been developed in an effort to automate the production of accurate, minimal complexity models of dynamic systems in order to aid in the design of these systems. Previous algorithms, MODA and Extended MODA, deduce models independent of system inputs and outputs. FD-MODA uses frequency response methods to deduce models of a single input-output pair. In this p...