• Journal of applied mathematics & informatics
• /
• v.27 no.5_6
• /
• pp.1049-1059
• /
• 2009

Continuous t-norm based shape preserving additions of LR-fuzzy intervals with unbounded support is studied. The case for bounded support, which was a conjecture suggested by Mesiar in 1997, was proved by the author in 2002 and 2008. In this paper, we give a necessary and sufficient conditions for a continuous t-norm T that induces DR-shape preserving addition of LR-fuzzy intervals with unbounded support. Some of the results can be deduced from the results given in the paper of Mesiar in 1997. But, we give direct proofs of the results.

• Journal of the Korean Data and Information Science Society
• /
• v.14 no.1
• /
• pp.93-101
• /
• 2003

Computation with fuzzy numbers is a prospective branch of a fuzzy set theory regarding the data processing applications. In this paper we consider an open problem about distributivity of fuzzy quantities based on the extension principle suggested by Mare (1997). Indeed, we show that the distributivity on the class of fuzzy numbers holds and min-norm is the only continuous t-norm which holds the distributivity under t-norm based fuzzy arithmetic operations.

• Communications of the Korean Mathematical Society
• /
• v.18 no.2
• /
• pp.385-392
• /
• 2003

The sum Of L - R fuzzy numbers With Unbounded Supports based on Archimedean continuous f-norm T is considered. Results are more simple than those of the case for bounded supports.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.731-737
• /
• 1994

Let $(\Omega, F, P)$ be a probability space with F a $\sigma$-algebra of subsets of the measure space $\Omega$ and P a probability measures on $\Omega$. Suppose $a > 0$ and let $(F_t)_{t \in [0,a]}$ be an increasing family of sub-$\sigma$- algebras of F. If $r > 0$, let $J = [-r, 0]$ and $C(J, R^n)$ the Banach space of all continuous paths $\gamma : J \to R^n$ with the sup-norm $\Vert \gamma \Vert_C = sup_{s \in J} $\mid$\gamma(x)$\mid$$ where $$\mid$\cdot$\mid$$ denotes the Euclidean norm on $R^n$. Let E and F be separable real Banach spaces and L(E,F) be the Banach space of all continuous linear maps $T : E \to F$ with the norm $\Vert T \Vert = sup {$\mid$T(x)$\mid$_F : x \in E, $\mid$x$\mid$_E \leq 1}$.

• Journal of the Korean Mathematical Society
• /
• v.45 no.2
• /
• pp.377-392
• /
• 2008

Let X be a real reflexive Banach space with a uniformly $G\hat{a}teaux$ differentiable norm, C a nonempty closed convex subset of X, T : C $\rightarrow$ X a continuous pseudocontractive mapping, and A : C $\rightarrow$ C a continuous strongly pseudocontractive mapping. We show the existence of a path ${x_t}$ satisfying $x_t=tAx_t+(1- t)Tx_t$, t $\in$ (0,1) and prove that ${x_t}$ converges strongly to a fixed point of T, which solves the variational inequality involving the mapping A. As an application, we give strong convergence of the path ${x_t}$ defined by $x_t=tAx_t+(1-t)(2I-T)x_t$ to a fixed point of firmly pseudocontractive mapping T.

• Communications of the Korean Mathematical Society
• /
• v.17 no.1
• /
• pp.37-51
• /
• 2002

Let X be a reflexive Banach space with a uniformly Gateaux differentiable norm, C a nonempty bounded open subset of X, and T a continuous mapping from the closure of C into X which is locally pseudo-contractive mapping on C. We show that if the closed unit ball of X has the fixed point property for nonexpansive self-mappings and T satisfies the following condition: there exists z $\in$ C such that ∥z-T(z)∥<∥x-T(x)∥ for all x on the boundary of C, then the trajectory tlongrightarrowz$_{t}$$\in$C, t$\in$[0, 1) defined by the equation z$_{t}$ = tT(z$_{t}$)+(1-t)z is continuous and strongly converges to a fixed point of T as t longrightarrow 1￣.ow 1￣.

• Communications of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.693-715
• /
• 2024

Let n ∈ ℕ, n ≥ 2. An element (x₁, . . . , x_n) ∈ Eⁿ is called a norming point of T ∈ 𝓛(ⁿE) if ||x₁|| = ··· = ||x_n|| = 1 and |T(x₁, . . . , x_n)| = ||T||, where 𝓛(ⁿE) denotes the space of all continuous n-linear forms on E. For T ∈ 𝓛(ⁿE), we define Norm(T) = {(x₁, . . . , x_n) ∈ Eⁿ : (x₁, . . . , x_n) is a norming point of T}. Norm(T) is called the norming set of T. Let $0{\leq}{\theta}{\leq}{\frac{{\pi}}{4}}$ and ${\ell}^2_{{\infty},{\theta}}={\mathbb{R}}^2$ with the rotated supremum norm $${\parallel}(x,y){\parallel}_{({\infty},{\theta})}={\max}\{{\mid}x\;cos\;{\theta}+y\;sin\;{\theta}{\mid},\;{\mid}x\;sin\;{\theta}-y\;cos\;{\theta}|\}$$. In this paper, we characterize the norming set of T ∈ 𝓛(ⁿℓ²_(∞,θ)). Using this result, we completely describe the norming set of T ∈ 𝓛_s(ⁿℓ²_(∞,θ)) for n = 3, 4, 5, where 𝓛_s(ⁿℓ²_(∞,θ)) denotes the space of all continuous symmetric n-linear forms on ℓ²_(∞,θ). We generalizes the results from [9] for n = 3 and ${\theta}={\frac{{\pi}}{4}}$.

• Communications of the Korean Mathematical Society
• /
• v.10 no.1
• /
• pp.207-213
• /
• 1995

Let $(\Omega, F, P)$ be a probability space with F a $\sigma$-algebra of subsets of the measure space $\Omega$ and P a probability measure on $\Omega$. Suppose $a > 0$ and let $(F_t)_{t \in [0,a]}$ be an increasing family of sub-$\sigma$-algebras of F. If $r > 0$, let $J = [-r,0]$ and $C(J, R^n)$ the Banach space of all continuous paths $\gamma : J \to R^n$ with the sup-norm $\Vert \gamma \Vert = sup_{s \in J}$\mid$\gamma(s)$\mid$$ where $$\mid$\cdot$\mid$$ denotes the Euclidean norm on $R^n$. Let E,F be separable real Banach spaces and L(E,F) be the Banach space of all continuous linear maps $T : E \to F$.

• Korean Journal of Logic
• /
• v.9 no.2
• /
• pp.1-30
• /
• 2006

This paper investigates algebraic semantics for some weak Boolean (wB) logics, which may be regarded as left-continuous t-norm based logics (or monoidal t-norm based logics (MTLs)). We investigate as infinite-valued logics each of wB-LC and wB-sKD, and each corresponding first order extension $wB-LC\forall$ and $wB-sKD\forall$. We give algebraic completeness for each of them.

• Journal of applied mathematics & informatics
• /
• v.7 no.2
• /
• pp.685-692
• /
• 2000

We introduce the notion of T-fuzzy circled subalgebras, and obtain some related results.