scholarly journals Mackey-complete spaces and power series – a topological model of differential linear logic

2016 ◽  
Vol 28 (4) ◽  
pp. 472-507 ◽  
Author(s):  
MARIE KERJEAN ◽  
CHRISTINE TASSON
Keyword(s):  
Power Series ◽  
Vector Space ◽  
Topological Vector Space ◽  
Taylor Expansion ◽  
Entire Functions ◽  
Linear Logic ◽  
Quantitative Model ◽  
Linear Functions ◽  
Topological Model ◽  
Bounded Linear

In this paper, we describe a denotational model of Intuitionist Linear Logic which is also a differential category. Formulas are interpreted as Mackey-complete topological vector space and linear proofs are interpreted as bounded linear functions. So as to interpret non-linear proofs of Linear Logic, we use a notion of power series between Mackey-complete spaces, generalizing entire functions in $\mathbb{C}$. Finally, we get a quantitative model of Intuitionist Differential Linear Logic, with usual syntactic differentiation and where interpretations of proofs decompose as a Taylor expansion.

scholarly journals Bounded operators on topological vector spaces and their spectral radii

Filomat ◽  
2012 ◽  
Vol 26 (6) ◽  
pp. 1283-1290
Author(s):  
Shirin Hejazian ◽  
Madjid Mirzavaziri ◽  
Omid Zabeti
Keyword(s):  
Linear Operator ◽  
Vector Space ◽  
Topological Vector Space ◽  
Bounded Linear Operator ◽  
Sufficient Conditions ◽  
Linear Operators ◽  
Vector Spaces ◽  
Bounded Operators ◽  
Bounded Linear ◽  
Topological Vector Spaces

In this paper, we consider three classes of bounded linear operators on a topological vector space with respect to three different topologies which are introduced by Troitsky. We obtain some properties for the spectral radii of a linear operator on a topological vector space. We find some sufficient conditions for the completeness of these classes of operators. Finally, as a special application, we deduce some sufficient conditions for invertibility of a bounded linear operator.

scholarly journals A study on bornological properties of the space of entire functions of several complex variables

2002 ◽  
Vol 33 (4) ◽  
pp. 289-302 ◽  
Author(s):  
Mushtaq Shaker Abdul-Hussein ◽  
G. S. Srivastava
Keyword(s):  
Power Series ◽  
Vector Space ◽  
Entire Functions ◽  
Complex Variables ◽  
Several Complex Variables ◽  
Locally Convex Spaces ◽  
Classical Analysis ◽  
Analysis Theory ◽  
Important Position ◽  
Locally Convex

Spaces of entire functions of several complex variables occupy an important position in view of their vast applications in various branches of mathematics, for instance, the classical analysis, theory of approximation, theory of topological bases etc. With an idea of correlating entire functions with certain aspects in the theory of basis in locally convex spaces, we have investigated in this paper the bornological aspects of the space $X$ of integral functions of several complex variables. By $Y$ we denote the space of all power series with positive radius of convergence at the origin. We introduce bornologies on $X$ and $Y$ and prove that $Y$ is a convex bornological vector space which is the completion of the convex bornological vector space $X$.

THE RANGE OF AN ORTHOMORPHISM

2009 ◽  
Vol 08 (06) ◽  
pp. 863-868 ◽  
Author(s):  
MOHAMED ALI TOUMI ◽  
NEDRA TOUMI
Keyword(s):  
Vector Space ◽  
Topological Vector Space ◽  
Weak Topology ◽  
Vector Lattice ◽  
Order Ideal ◽  
Bounded Linear ◽  
Complete Vector Lattice ◽  
Complete Vector

Let A be a uniformly complete vector lattice, let H be the collection of all order bounded linear mappings T : A → ℝ such that |T(x)| = |T(|x|)| for all x ∈ A and let σ(A, H) the weak topology on A. If (A, σ(A, H)) is a complete topological vector space then the range of any orthomorphism π: A → A is an order ideal of A.

On Semi - Pre irresolute Topological Vector Space

2018 ◽  
Vol 14 (3) ◽  
pp. 184-192
Author(s):  
Radhi Ali ◽  
◽  
Jalal Hussein Bayati ◽  
Suhad Hameed
Keyword(s):  
Vector Space ◽  
Topological Vector Space

scholarly journals A class of factorable topological algebras

1990 ◽  
Vol 33 (1) ◽  
pp. 53-59 ◽  
Author(s):  
E. Ansari-Piri
Keyword(s):  
Vector Space ◽  
Topological Vector Space ◽  
Approximate Identity ◽  
Necessary Condition ◽  
Topological Algebras ◽  
Approximate Identities ◽  
Cohen Factorization ◽  
Locally Convex ◽  
Space Property ◽  
Uniformly Bounded

The famous Cohen factorization theorem, which says that every Banach algebra with bounded approximate identity factors, has already been generalized to locally convex algebras with what may be termed “uniformly bounded approximate identities”. Here we introduce a new notion, that of fundamentality generalizing both local boundedness and local convexity, and we show that a fundamental Fréchet algebra with uniformly bounded approximate identity factors. Fundamentality is a topological vector space property rather than an algebra property. We exhibit some non-fundamental topological vector space and give a necessary condition for Orlicz space to be fundamental.

Strict Topologies for Vector-Valued Functions

1974 ◽  
Vol 26 (4) ◽  
pp. 841-853 ◽  
Author(s):  
Robert A. Fontenot
Keyword(s):  
Vector Space ◽  
Topological Vector Space ◽  
Measure Theory ◽  
Strict Topology ◽  
Locally Compact ◽  
Topological Measure ◽  
Topological Measure Theory ◽  
Vector Valued Functions ◽  
Vector Valued ◽  
Locally Compact Hausdorff Space

This paper is motivated by work in two fields, the theory of strict topologies and topological measure theory. In [1], R. C. Buck began the study of the strict topology for the algebra C*(S) of continuous, bounded real-valued functions on a locally compact Hausdorff space S and showed that the topological vector space C*(S) with the strict topology has many of the same topological vector space properties as C0(S), the sup norm algebra of continuous realvalued functions vanishing at infinity. Buck showed that as a class, the algebras C*(S) for S locally compact and C*(X), for X compact, were very much alike. Many papers on the strict topology for C*(S), where S is locally compact, followed Buck's; e.g., see [2; 3].

Universality properties of the quaternionic power series and entire functions

2015 ◽  
Vol 288 (8-9) ◽  
pp. 917-924 ◽  
Author(s):  
Sorin G. Gal ◽  
Irene Sabadini
Keyword(s):  
Power Series ◽  
Entire Functions

Bounded Linear Logic: A Modular Approach to Polynomial Time Computability

1990 ◽  
pp. 195-209 ◽  
Author(s):  
Jean-Yves Girard ◽  
Andre Scedrov ◽  
Philip J. Scott
Keyword(s):  
Polynomial Time ◽  
Linear Logic ◽  
Modular Approach ◽  
Bounded Linear

scholarly journals Generalized Bounded Linear Logic and its Categorical Semantics

2021 ◽  
pp. 226-246
Author(s):  
Yōji Fukihara ◽  
Shin-ya Katsumata
Keyword(s):  
Linear Logic ◽  
Cut Elimination ◽  
Grading System ◽  
Bounded Linear ◽  
The Core ◽  
Categorical Structure ◽  
Categorical Semantics

AbstractWe introduce a generalization of Girard et al.’s called (and its affine variant ). It is designed to capture the core mechanism of dependency in , while it is also able to separate complexity aspects of . The main feature of is to adopt a multi-object pseudo-semiring as a grading system of the !-modality. We analyze the complexity of cut-elimination in , and give a translation from with constraints to with positivity axiom. We then introduce indexed linear exponential comonads (ILEC for short) as a categorical structure for interpreting the $${!}$$ ! -modality of . We give an elementary example of ILEC using folding product, and a technique to modify ILECs with symmetric monoidal comonads. We then consider a semantics of using the folding product on the category of assemblies of a BCI-algebra, and relate the semantics with the realizability category studied by Hofmann, Scott and Dal Lago.

Sign in / Sign up

Export Citation Format

Share Document