Chorded Cycles

A chord is an edge between two vertices of a cycle that is not an edge on the cycle. If a cycle has at least one chord, then the cycle is called a chorded cycle, and if a cycle has at least two chords, then the cycle is called a doubly chorded cycle. The minimum degree and the minimum degree-sum conditions are given for a graph to contain vertex-disjoint chorded (doubly chorded) cycles containing specified elements of the graph, i.e., specified vertices, specified edges as cycle-edges, specified paths, or specified edges as chords. Furthermore, the minimum degree condition is given for a graph to be partitioned into chorded cycles containing specified edges as cycle-edges.     

Theory of Semi-Instantiation in Abstract Argumentation

We study instantiated abstract argumentation frames of the form (S, R, I), where (S, R) is an abstract argumentation frame and where the arguments x of S are instantiated by I(x) as well formed formulas of a well known logic, for example as Boolean formulas or as predicate logic formulas or as modal logic formulas. We use the method of conceptual analysis to derive the properties of our proposed system. We seek to define the notion of complete extensions for such systems and provide algorithms for finding such extensions. We further develop a theory of instantiation in the abstract, using the framework of Boolean attack formations and of conjunctive and disjunctive attacks. We discuss applications and compare critically with the existing related literature.     

On the Complexity of Multivalued Logic Functions over Some Infinite Basis

Under study is the complexity of the realization of k-valued logic functions (k ≥ 3) by logic circuits in the infinite basis consisting of the Post negation (i.e., the function (x + 1) mod k) and all monotone functions. The complexity of the circuit is the total number of elements of this circuit. For an arbitrary function f, we find the lower and upper bounds of complexity, which differ from one another at most by 1 and have the form 3 log₃(d(f)+ 1)+O(1), where d(f) is the maximal number of the decrease of the value of f taken over all increasing chains of tuples of values of the variables. We find the exact value of the corresponding Shannon function which characterizes the complexity of the most complex function of a given number of variables.     

A Logical Analysis of the Anselm’s Unum Argumentum (from <Emphasis Type="BoldItalic">Proslogion</Emphasis>)

Anselm of Cantorbery wrote Proslogion (1077–1078), where is formulated the famous ‘Unum argumentum’ about the existence of God. This argument was been disputed and criticized by numerous logicians from an extensional view point. The classical predicate logic is not able to give a formal frame to develop an adequate analysis of this argument. According to us, this argument is not an ontological proof; it analyses the meaning of the “quo nihil maius cogitari posit”, a characterization of God, and establish, by absurd, that “quod non posit cogitare non esse” by using the hypothesis: “to think in re” is taller than “to think in solo intelectu”. We discuss this relation and the difference between the meanings of the elementary predicates ‘to be in re’, ‘to be in intellectu’ and ‘to be in solo intellectu’. We propose a new logical approach of this ‘Unum argumentum’ of Anselm by using Curry’s Combinatory Logic (1958, 1973). Indeed, Combinatory Logic is an abstract applicative formalism of operators applied to operands; in this formalism, the predicates, viewed as specific operators, can be composed and can be transformed, by an intrinsic way, into more complex predicates, by means of abstract operators, called “combinators”, studied by Combinatory Logic. We show that this formalism is a logical frame where it becomes possible to discuss and to formulate cognitive representations of the meanings of predicates used inside of the ‘Unum argumentum’ and to explain how the argument runs.     

Ockham’s Calculus of Strict Implication

In his main work Summa Logicae written around 1323, William of Ockham developed a system of propositional modal logic which contains almost all theorems of a modern calculus of strict implication. This calculus is formally reconstructed here with the help of modern symbols for the operators of conjunction, disjunction, implication, negation, possibility, and necessity.     

Sharp continuity results for the short-time Fourier transform and for localization operators

We completely characterize the boundedness on Wiener amalgam spaces of the short-time Fourier transform (STFT), and on both L ^p and Wiener amalgam spaces of a special class of pseudodifferential operators, called localization operators. Precisely, sufficient conditions for the STFT to be bounded on the Wiener amalgam spaces W(L ^p , L ^q ) are given and their sharpness is shown. Localization operators are treated similarly: using different techniques from those employed in the literature, we relax the known sufficient boundedness conditions for these operators to be bounded on L ^p spaces and prove the optimality of our results. Next, we exhibit sufficient and necessary conditions for such operators to be bounded on Wiener amalgam spaces.     

On (<Emphasis Type="Italic">m</Emphasis>, <Emphasis Type="Italic">C</Emphasis>)-Isometric Operators

In this paper we study the spectral properties of (m, C)-isometric operators. In particular, if \(T\in \mathcal{{L(H)}}\) is (m, C)-isometric operators, then the power of (m, C)-isometric operators is also (m, C)-isometric operators. Moreover, if \(T^{*}\) has the single-valued extension property, then T has the single-valued extension property. Finally, we investigate conditions for (m, C)-isometric operators to be (1, C)-isometric operators.     

Clark model in the general situation

For a unitary operator U in a Hilbert space H the family of its unitary perturbations by rank one operators with fixed range is parametrized by a complex parameter γ, ?γ? = 1. Namely, all such unitary perturbations are operators U_γ:= U + (γ ? 1)( ·, b₁)_Hb, where b ∈ H, ∥b∥ = 1, b₁ = U^?1b, ?γ? = 1. For ?γ? < 1, the operators U_γ are contractions with one-dimensional defects.     

On perturbation theory for points of discrete spectrum of dissipative operator functions

We consider the operator function L(α, θ) = A(α) ? θR of two complex arguments, where A(α) is an analytic operator function defined in some neighborhood of a real point α ₀ ∈ ? and ranging in the space of bounded operators in a Hilbert space ?. We assume that A(α) is a dissipative operator for real α in a small neighborhood of the point α ₀ and R is a bounded positive operator; moreover, the point α ₀ is a normal eigenvalue of the operator function L(α, θ ₀) for some θ ₀ ∈ ?, and the number θ ₀ is a normal eigenvalue of the operator function L(α ₀ θ). We obtain analogs and generalizations of well-known results for self-adjoint operator functions A(α) on the decomposition of α- and θ-eigenvalues in neighborhoods of the points α ₀ and θ ₀, respectively, and on the representation of the corresponding eigenfunctions by series.     

Estimates of some integral operators with bounded variable kernels on the hardy and weak hardy spaces over ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper, we first introduce \({L^{{\sigma _1}}}{\left( {\log L} \right)^{{\sigma _2}}}\) conditions satisfied by the variable kernels Ω(x, z) for 0 ≤ σ ₁ ≤ 1 and σ ₂ ≥ 0. Under these new smoothness conditions, we will prove the boundedness properties of singular integral operators T _Ω, fractional integrals T _Ω,α and parametric Marcinkiewicz integrals μ _Ω ^ρ with variable kernels on the Hardy spaces H ^p (R ⁿ ) and weak Hardy spaces WH ^p (R ⁿ ). Moreover, by using the interpolation arguments, we can get some corresponding results for the above integral operators with variable kernels on Hardy–Lorentz spaces H ^p,q(R ⁿ ) for all p < q < ∞.     

Two classes of <Emphasis Type="Italic">τ</Emphasis>-measurable operators affiliated with a von Neumann algebra

Let M be a von Neumann algebra of operators on a Hilbert space H, τ be a faithful normal semifinite trace on M. We define two (closed in the topology of convergence in measure τ) classes P ₁ and P ₂ of τ-measurable operators and investigate their properties. The class P ₂ contains P ₁. If a τ-measurable operator T is hyponormal, then T lies in P ₁; if an operator T lies in P _k , then UTU* belongs to P _k for all isometries U from M and k = 1, 2; if an operator T from P ₁ admits the bounded inverse T ^?1, then T ^?1 lies in P ₁. We establish some new inequalities for rearrangements of operators from P ₁. If a τ-measurable operator T is hyponormal and T ⁿ is τ-compact for some natural number n, then T is both normal and τ-compact. If M = B(H) and τ = tr, then the class P ₁ coincides with the set of all paranormal operators on H.     

Maximal invariant subspaces for a class of operators

In this note, we characterize maximal invariant subspaces for a class of operators. Let T be a Fredholm operator and \(1-TT^{*}\in\mathcal{S}_{p}\) for some p≥1. It is shown that if M is an invariant subspace for T such that dim?M ? TM<∞, then every maximal invariant subspace of M is of codimension 1 in M. As an immediate consequence, we obtain that if M is a shift invariant subspace of the Bergman space and dim?M ? zM<∞, then every maximal invariant subspace of M is of codimension 1 in M. We also apply the result to translation operators and their invariant subspaces.     

Subalternation and existence presuppositions in an unconventionally formalized canonical square of opposition

An unconventional formalization of the canonical (Aristotelian-Boethian) square of opposition in the notation of classical symbolic logic secures all but one of the canonical square’s grid of logical interrelations between four A-E-I-O categorical sentence types. The canonical square is first formalized in the functional calculus in Frege’s Begriffsschrift, from which it can be directly transcribed into the syntax of contemporary symbolic logic. Difficulties in received formalizations of the canonical square motivate translating I categoricals, ‘Some S is P’, into symbolic logical notation, not conjunctively as \({\exists x[Sx\wedge Px]}\), but unconventionally instead in an ontically neutral conditional logical symbolization, as \({\exists x[Sx\rightarrow Px]}\). The virtues and drawbacks of the proposal are compared at length on twelve grounds with the explicit existence expansion of A and E categoricals as the default strategy for symbolizing the canonical square preserving all original logical interrelations.     

An admissibility criterion for inference rules with metavariables in the modal logic <Emphasis Type="Italic">S</Emphasis>4.<Emphasis Type="Italic">α</Emphasis><Subscript><Emphasis Type="Italic">N</Emphasis></Subscript>

Using the criterion of this paper, we solve the substitution problem and obtain an algorithm for determining the solvability of logical equations in the modal logic S4.α _N . Another corollary of the criterion is the solvability of the corresponding quasiequational theory of the free modal algebra whose signature is enriched with constants for the free generators.     

〈2, 1〉-Compact operators

We consider the class of the continuous L _2,1 linear operators in L ₂ that are sums of the operators of multiplication by bounded measurable functions and the operators sending the unit ball of L ₂ into a compact subset of L ₁. We prove that a functional equation with an operator from L _2,1 is equivalent to an integral equation with kernel satisfying the Carleman condition. We also prove that if T ∈ L _2,1 and VTV ^?1 ∈ L _2,1 for all unitary operators V in L ₂ then T = α1 + C, where α is a scalar, 1 is the identity operator in L ₂, and C is a compact operator in L ₂.     

Ideal Spaces of Measurable Operators Affiliated to A Semifinite Von Neumann Algebra

Suppose that M is a von Neumann algebra of operators on a Hilbert space H and τ is a faithful normal semifinite trace on M. Let E, F and G be ideal spaces on (M, τ). We find when a τ-measurable operator X belongs to E in terms of the idempotent P of M. The sets E+F and E·F are also ideal spaces on (M, τ); moreover, E·F = F·E and (E+F)·G = E·G+F·G. The structure of ideal spaces is modular. We establish some new properties of the L₁(M, τ) space of integrable operators affiliated to the algebra M. The results are new even for the *-algebra M = B(H) of all bounded linear operators on H which is endowed with the canonical trace τ = tr.     

Khinchin’s inequality,Dunford-Pettis and compact operators on the space <Emphasis Type="Italic">C</Emphasis>([0, 1], <Emphasis Type="Italic">X</Emphasis>)

We prove that if X, Y are Banach spaces, Ω a compact Hausdorff space and U:C(Ω, X) → Y is a bounded linear operator, and if U is a Dunford-Pettis operator the range of the representing measure G(Σ) ? DP(X, Y) is an uniformly Dunford-Pettis family of operators and ∥G∥ is continuous at Ø. As applications of this result we give necessary and/or sufficient conditions that some bounded linear operators on the space C([0, 1], X) with values in c ₀ or l _p, (1 ≤ p < ∞) be Dunford-Pettis and/or compact operators, in which, Khinchin’s inequality plays an important role.     

New characterizations for weighted composition operator from Zygmund type spaces to Bloch type spaces

Let u be a holomorphic function and φ a holomorphic self-map of the open unit disk \(\mathbb{D}\) in the complex plane. We provide new characterizations for the boundedness of the weighted composition operators uC _φ from Zygmund type spaces to Bloch type spaces in \(\mathbb{D}\) in terms of u, φ, their derivatives, and φ ⁿ , the n-th power of φ. Moreover, we obtain some similar estimates for the essential norms of the operators uC _φ , from which sufficient and necessary conditions of compactness of uC _φ follows immediately.