background: the objectives of an educational system in a society are based on society's requirements. since personnel knowledge and skill are not qualified with the advantages of science and invention of new tools, new needs are arisen. comparing the curriculum of undergraduate course of operating room of our country with international societies, it seems that this curriculum is not a good one ...

This paper deals with the problem of the aggregation of implication functions. After characterizing those binary operations which merge two implication functions into a new implication function, we study some aspects of the aggregated implication functions in terms of the two given ones. In particular, we are interested in aggregation processes such that properties of the implication functions ...

General Epistemic Logics suffer from the problem of logical omniscience, which is that an agent’s knowledge and beliefs are closed under implication. There have been many attempts to solve the problem of logical omniscience. However, according to our intuition, sometimes an agent’s knowledge and beliefs are indeed closed under implication. Based on the notion of awareness, we introduce two kind...

is obvious, and then what always hold in the Mamdani's case is the equivalence (p 2 q ! r) = (p ! r) ^ (q ! r): (14) Consequently, if I is a Mamdani–Larsen's implication (8) never holds, but (14) is always true. IV. CONCLUSION After remembering the four main types of implications used in Fuzzy Logic, the equality [p ^ q ! r] = [(p ! r) _ (q ! r)] (*) is analyzed bot in complemented lattices and...

Applying the idea of soft set theory to lattice implication algebras, the novel concept of (implicative) filteristic soft lattice implication algebras which related to (implicative) filter(for short, (IF -)F -soft lattice implication algebras) are introduced. Basic properties of (IF -)F -soft lattice implication algebras are derived. Two kinds of fuzzy filters (i.e.(∈,∈ ∨qk)((∈,∈ ∨ qk))-fuzzy (...

In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras a...

We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C. Abbott [2] and orthomodular implication algebra introduced by the author with his collaborators. For our algebras we get new axiom systems compatible with that of an implication algebra. This unifie...