We prove the existence of solutions for third-order nonconvex state-dependent sweeping process with unbounded perturbations of the form: −A x 3 t ∈ N K t, ẋ t ; A ẍ t F t, x t , ẋ t , ẍ t G x t , ẋ t , ẍ t a.e. 0, T , A ẍ t ∈ K t, ẋ t , a.e. t ∈ 0, T , x 0 x0, ẋ 0 u0, ẍ 0 υ0, where T > 0, K is a nonconvex Lipschitz set-valued mapping, F is an unbounded scalarly upper semicontinuous convex set-v...

Flaminio and Montagna (2008) enlarged the language of MV-algebras by a unary operation σ, called internal state or a state operator, equationally defined so as to preserve the basic properties of a state in its usual meaning. The resulting class of MV-algebras is called state MV-algebras. Jenča (2007) and Vetterlein (2008), using different approaches, represented MV-algebras through the quotien...

In this paper, we apply the concept of an interval-valued intuitionistic fuzzy set to ideals and closed ideals in BG-algebras. The notion of an interval-valued intuitionistic fuzzy closed ideal of a BG-algebra is introduced, and some related properties are investigated. Also, the product of interval-valued inntuitionistic fuzzy BG-algebra is investgated.

In his well-known paper \How computer should think" ((Be77b]) Belnap argues that four-valued semantics is a very suitable setting for computerized reasoning. In this paper we vindicate this thesis by showing that the logical role that the four-valued structure has among Ginsberg's well-known bilattices is similar to the role that the two-valued algebra has among Boolean algebras .