We lay the foundations for a Structural Operational Semantics (SOS) framework for higher order processes. Then, we propose a number of extensions to Bernstein’s promoted tyft/tyxt format which aims at proving congruence of strong bisimilarity for higher order processes. The extended format is called promoted PANTH. This format is easier to apply and strictly more expressive than the promoted ty...

We characterize the left (right) quasi-regular and the semisimple ordered semigroups in terms of fuzzy sets. Mathematics Subject Classification: 06F05 (08A72)

In the present paper, the analytical solution for an exact second order fuzzy initial value problem under generalized Hukuhara differentiability is obtained. First the solution of first order linear fuzzy differential equation under generalized Hukuhara differentiability is investigated using integration factor methods in two cases. The second based on the type of generalized Hukuhara different...

In this article, the problem of exponential mean-square stability analysis is discussed for uncertain networked control systems expressed by a stochastic T-S fuzzy model. general, characteristics random occurrence multipath packet dropouts often exist in signal transmission network. For dealing with difficult point, dynamic output feedback strategy combining Bernoulli theory employed. Then, del...

in this paper, we investigate the l-fuzzy proximities and the relationships betweenl-fuzzy topologies, l-fuzzy topogenous order and l-fuzzy uniformity. first, we show that the category of-fuzzy topological spaces can be embedded in the category of l-fuzzy quasi-proximity spaces as a coreective full subcategory. second, we show that the category of l -fuzzy proximity spaces is isomorphic to the ...

Density elimination by substitutions is introduced as a uniformmethod for removing applications of the Takeuti-Titani density rule from proofs in firstorder hypersequent calculi. For a large class of calculi, density elimination by this method is guaranteed by known sufficient conditions for cut-elimination. Moreover, adding the density rule to any axiomatic extension of a simple first-order lo...

We show how to apply Howe’s method for the proof of congruence of early bisimilarities in a higher-order process calculus with passivation. This involves the introduction of a proof technique based on a new kind of transition system and bisimilarity, called complementary semantics. We show that complementary semantics is equivalent to contextual semantics, originally introduced by Sangiorgi, th...

A b s t r a c t. We investigate some properties of two varieties of algebras arising from quantum computation quasi-MV algebras and √ ′ quasi-MV algebras first introduced in [13], [12] and tightly connected with fuzzy logic. We establish the finite model property and the congruence extension property for both varieties; we characterize the quasi-MV reducts and subreducts of √ ′ quasiMV algebras...