This paper investigates the proof theory of multiplicative additive system virtual (MAV). MAV combines two established proof calculi: multiplicative additive linear logic (MALL) and basic system virtual (BV). Due to the presence of the self-dual non-commutative operator from BV, the calculus MAV is defined in the calculus of structures — a generalisation of the sequent calculus where inference ...

in this paper, the notion of fuzzy semicompactness degrees isintroduced in $l$-fuzzy topological spaces by means of theimplication operation of $l$. characterizations of fuzzysemicompactness degrees in $l$-fuzzy topological spaces  areobtained, and some properties of fuzzy semicompactness degrees areresearched.

in this paper, we firstly show that the $n$-dual operation of the right residual implication, which is induced by a left-conjunctive right arbitrary $vee$-distributive left semi-uninorm, is the right residual coimplication induced by its $n$-dual operation. as a dual result, the $n$-dual operation of the right residual coimplication, which is induced by a left-disjunctive right arbitrary $wedge...

This paper is concerned with incremental stability properties of nonlinear systems. We propose conditions to compute an upper bound on the incremental L2-gain and to assess incremental asymptotic stability of piecewise-affine (PWA) systems. The conditions are derived from dissipativity analysis, and are based on the construction of piecewisequadratic functions via linear matrix inequalities (LM...

In the area of Description Logic (DL) based knowledge representation, research on reasoning w.r.t. general terminologies has mainly focused on very expressive DLs. Recently, though, it was shown for the DL EL, providing only the constructors conjunction and existential restriction, that the subsumption problem w.r.t. cyclic terminologies can be decided in polynomial time, a surprisingly low upp...

In this paper we analyze the conditional logic approach to default logic, the logic that formalizes reasoning about default assumptions.Conditional logic is a popular framework to formalize defeasible reasoning. The conditional sentence “if (the antecedent or condition) then by default (the consequent or conclusion)” is represented in this framework by the formula > , where ‘>’ is some kind of ...

‎In this paper we try to extend geometric concepts in the context of operator valued tensors‎. ‎To this end‎, ‎we aim to replace the field of scalars $ mathbb{R} $ by self-adjoint elements of a commutative $ C^star $-algebra‎, ‎and reach an appropriate generalization of geometrical concepts on manifolds‎. ‎First‎, ‎we put forward the concept of operator-valued tensors and extend semi-Riemannian...

We first show that a bounded linear operator $ T $ on a real Banach space $ E $ is quasicompact (Riesz, respectively) if and only if $T': E_{mathbb{C}}longrightarrow E_{mathbb{C}}$ is quasicompact  (Riesz, respectively), where the complex Banach space $E_{mathbb{C}}$ is a suitable complexification of $E$ and $T'$ is the complex linear operator on $E_{mathbb{C}}$ associated with $T$. Next, we pr...

in this paper, a complete description concerning linear operators of banach spaces with range in lipschitz algebras $lip_al(x)$ is provided. necessary and sufficient conditions are established to ensure boundedness and (weak) compactness of these operators. finally, a lower bound for the essential norm of such operators is obtained.

for suitable banach spaces $x$ and $y$ with schauder decompositions and‎ ‎a suitable closed subspace $mathcal{m}$ of some compact operator space from $x$ to $y$‎, ‎it is shown that the strong banach-saks-ness of all evaluation‎ ‎operators on ${mathcal m}$ is a sufficient condition for the weak‎ ‎banach-saks property of ${mathcal m}$, where for each $xin x$ and $y^*in‎ ‎y^*$‎, ‎the evaluation op...