Multiplicative Linear Logics and Fibrations
نویسندگان
چکیده
منابع مشابه
Almost multiplicative linear functionals and approximate spectrum
We define a new type of spectrum, called δ-approximate spectrum, of an element a in a complex unital Banach algebra A and show that the δ-approximate spectrum σ_δ (a) of a is compact. The relation between the δ-approximate spectrum and the usual spectrum is investigated. Also an analogue of the classical Gleason-Kahane-Zelazko theorem is established: For each ε>0, there is δ>0 such that if ϕ is...
متن کاملOn multiplicative (strong) linear preservers of majorizations
In this paper, we study some kinds of majorizations on $textbf{M}_{n}$ and their linear or strong linear preservers. Also, we find the structure of linear or strong linear preservers which are multiplicative, i.e. linear or strong linear preservers like $Phi $ with the property $Phi (AB)=Phi (A)Phi (B)$ for every $A,Bin textbf{M}_{n}$.
متن کاملStrongly Multiplicative and 3-Multiplicative Linear Secret Sharing Schemes
Strongly multiplicative linear secret sharing schemes (LSSS) have been a powerful tool for constructing secure multi-party computation protocols. However, it remains open whether or not there exist efficient constructions of strongly multiplicative LSSS from general LSSS. In this paper, we propose the new concept of 3-multiplicative LSSS, and establish its relationship with strongly multiplicat...
متن کاملalmost multiplicative linear functionals and approximate spectrum
we define a new type of spectrum, called δ-approximate spectrum, of an element a in a complex unital banach algebra a and show that the δ-approximate spectrum σ_δ (a) of a is compact. the relation between the δ-approximate spectrum and the usual spectrum is investigated. also an analogue of the classical gleason-kahane-zelazko theorem is established: for each ε>0, there is δ>0 such that if ϕ is...
متن کاملHybrid and Subexponential Linear Logics
HyLL (Hybrid Linear Logic) and SELL (Subexponential Linear Logic) are logical frameworks that have been extensively used for specifying systems that exhibit modalities such as temporal or spatial ones. Both frameworks have linear logic (LL) as a common ground and they admit (cut-free) complete focused proof systems. The difference relies on the way modalities are handled. In HyLL, truth judgmen...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80567-x