Weak Observational Congruence (woc) defined on CCS agents is not a bisimulation since it does not require two states reached by bisimilar computations of woc agents to be still woc, e.g. α.τ.β.nil and α.β.nil are woc but τ.β.nil and β.nil are not. This fact prevent us from characterizing CCS semantics (when τ is considered invisible) as a final algebra, since the semantic function would induce ...

We study two related versions of the no-impatience postulate in the context of transitive and reflexive relations on infinite utility streams which are not necessarily complete. Both are excluded by the traditional (weak) anonymity axiom. We show explicit social welfare relations satisfying Strong Pareto and the weaker version of noimpatience that are compatible with continuity in all the tradi...

A constructive proof of the Gödel-Rosser incompleteness theorem [9] has been completed using the Coq proof assistant. Some theory of classical first-order logic over an arbitrary language is formalized. A development of primitive recursive functions is given, and all primitive recursive functions are proved to be representable in a weak axiom system. Formulas and proofs are encoded as natural n...

Savage motivated his sure thing principle by arguing that, whenever an act would be preferred if an event obtains and preferred if that event did not obtain, it should be preferred overall. The ability to decompose and recompose decision problems in this way has normative appeal. It does not, however, require the full separability embodied in Savage's axiom. We formulate a weaker axiom that suf...

In this paper, a novel approach is proposed to determine the electronic system components of a smart clothing system design developed for blinds. The integration of diverse components which are developed and produced by different technologies and materials is a major challenge in a smart clothing system technology. Therefore, an integrated methodology based on fuzzy analytic hierarchy process (...

We introduce a property of set to represent vagueness without using truth value. It has gotten less attention in fuzzy set theory. We introduce it by analyzing a well-known philosophical argument by Gearth Evans. To interpret ‘a is a vague object’ as ‘the Axiom of Extensionality is violated for a’ allows us to represent a vague object in Evans’s sense, even within classical logic, and of course...

In this paper, the order, size and degree of the nodes of the isomorphic fuzzy graphs are discussed. Isomorphism between fuzzy graphs is proved to be an equivalence relation. Some properties of self complementary and self weak complementary fuzzy graphs are discussed. Keywords—complementary fuzzy graphs, co-weak isomorphism, equivalence relation, fuzzy relation, weak isomorphism.

in this paper we define intuitionistic fuzzy metric and normedspaces. we first consider finite dimensional intuitionistic fuzzy normed spacesand prove several theorems about completeness, compactness and weak convergencein these spaces. in section 3 we define the intuitionistic fuzzy quotientnorm and study completeness and review some fundamental theorems. finally,we consider some properties of...

Starting with the underlying motivation of developing a general theory of L-fuzzy sets where L is a multilattice (a particular case of non-deterministic algebra), we study the relationship between the crisp notions of congruence, homomorphism and substructure on some non-deterministic algebras which have been used in the literature, i.e. hypergroups, and join spaces. Moreover, we provide suitab...