We construct a denotational model of linear logic, whose objects are all the locally convex and separated topological vector spaces endowed with their weak topology. The negation is interpreted as the dual, linear proofs are interpreted as continuous linear functions, and non-linear proofs as sequences of monomials. We do not complete our constructions by a double-orthogonality operation. This ...

An extension of the metric space in which distance same point is not always zero called a partial space. Orthogonality relation two perpendicular lines at one intersection forming right angle. There are several ways to define orthogonality, including Pythagorean Orthogonality, Isosceles and Birkhoff-James Orthogonality. The purpose this research study consistency definition orthogonality Based ...

In this paper it will be shown how conditional presuppositions can be strengthened to unconditional ones if we assume that the antecedent and consequent of a conditional presupposition are independent of one another. Our notion of independence is very weak, and based on Lewis’ (1988) notion of orthogonality of questions. It will be argued that our way to strengthen these presuppositions does no...

As weak forms of continuity in topological spaces, weak continuity [I], quasi continuity [2], semi continuity [3] and almost continuity in the sense of Husain [4] are well-known. Recently, the following four weak forms of continuity have been introduced: weak quasi continuity [5], faint continuity [6], subweak continuity [7] and almost weak continuity [8]. These four weak forms of continuity ar...

Semi-supervised active clustering (SSAC) utilizes the knowledge of a domain expert to cluster data points by interactively making pairwise “same-cluster” queries. However, it is impractical to ask human oracles to answer every pairwise query. In this paper, we study the influence of allowing “not-sure” answers from a weak oracle and propose algorithms to efficiently handle uncertainties. Differ...

As weak forms of continuity in topological spaces, weak continuity [I], quasi continuity [2], semi continuity [3] and almost continuity in the sense of Husain [4] are well-known. Recently, the following four weak forms of continuity have been introduced: weak quasi continuity [5], faint continuity [6], subweak continuity [7] and almost weak continuity [8]. These four weak forms of continuity ar...

Principal component analysis (PCA) is an unsupervised method for learning low-dimensional features with orthogonal projections. Multilinear PCA methods extend PCA to deal with multidimensional data (tensors) directly via tensor-to-tensor projection or tensor-to-vector projection (TVP). However, under the TVP setting, it is difficult to develop an effective multilinear PCA method with the orthog...

The notion of operator-valued frames (OVFs) by Kaftal et al. (Trans Am Math Soc 361(12):6349–6385, 2009) and G-frames Sun (J Anal Appl 322(1):437–452, 2006) do not include all generalizations notions for Hilbert spaces. For this purpose, we introduce the weak (weak OVFs) which covers known Theory weak-OVFs is more demanding than theory OVFs due to following: One, frame operator may factor anoth...