* Correspondence author. Abstract The fuzzy multi-attribute decision making problems are investigated, in which the attribute values are given as intervalvalued intuitionistic fuzzy numbers and the attribute weight information is incomplete. Some operational laws of interval-valued intuitionistic fuzzy numbers, score function and accuracy function of interval-valued intuitionistic fuzzy numbers...

Let Kn be the Lorentz/second-order cone in IR. For any function f from IR to IR, one can define a corresponding vector-valued function f soc (x) on IR by applying f to the spectral values of the spectral decomposition of x ∈ IR with respect to Kn. It was shown by J.-S. Chen, X. Chen and P. Tseng that this vector-valued function inherits from f the properties of continuity, Lipschitz continuity,...

We first present a sound and complete system of intuitionistic logic augmented with Nelson’s strong negation and interpreted in Kripke’s models’ structure. Then, we show that intuitionistic logic can naturally be interpreted in a modal trivalent logic (propositions are true, false or undefined). Secondly, we introduce a partial probability interpretation, which is inspired by Popper’s condition...

This paper is an investigation of $L$-dual frames with respect to a function-valued inner product, the so called $L$-bracket product on $L^{2}(G)$, where G is a locally compact abelian group with a uniform lattice $L$. We show that several well known theorems for dual frames and dual Riesz bases in a Hilbert space remain valid for $L$-dual frames and $L$-dual Riesz bases in $L^{2}(G)$.

In this paper we study the relationships existing between total measurability in variation and Gould type fuzzy integrability (introduced and studied in [21]), giving a special interest on their behaviour on atoms and on finite unions of disjoint atoms. We also establish that any continuous real valued function defined on a compact metric space is totally measurable in the variation of a regula...

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. Speciically, w...

Axiomatic bases of admissible rules are obtained for fragments of the substructural logic R-mingle. In particular, it is shown that a “modus-ponens-like” rule introduced by Arnon Avron forms a basis for the admissible rules of its implication and implication-fusion fragments, while a basis for the admissible rules of the full multiplicative fragment requires an additional countably infinite set...

At first, we consider nonnegative monotone interval-valued set functions and nonnegative measurable interval-valued functions. In this paper we investigate some properties and structural characteristics of the monotone interval-valued set function defined by an interval-valued Choquet integral.