Axioms ruling linear negation have been investigated in the context of the complete semantics for distributive intuitionistic linear logic. Among these are the condition of being a dualizing element and the one of being a cyclic element. The motivation for analyzing other syntactic constraints comes from the observation that groupoids are models for classical linear logic. The analysis proceeds...

This paper studies the essential elements (Puppe, 1996) associated with binary relations over opportunity sets. We restrict attention to binary relations which are reflexive and transitive (pre-orders) and which further satisfy a monotonicity and desirability condition. These are called opportunity relations (ORs). Our main results axiomatically characterise two important classes of ORs: those ...

We propose an affine framework for perspective views, captured by a single extremely simple equation based on a viewer-centered invariant we call relative affine structure. Via a number of corollaries of our main results we show that our framework unifies previous work — including Euclidean, projective and affine — in a natural and simple way, and introduces new, extremely simple, algorithms fo...

A new version of tetrad gravity in globally hyperbolic, asymptotically flat at spatial infinity spacetimes with Cauchy surfaces diffeomorphic to R3 is obtained by using a new parametrization of arbitrary cotetrads to define a set of configurational variables to be used in the ADM metric action. Seven of the fourteen first class constraints have the form of the vanishing of canonical momenta. A ...

The present paper gives a rigorous description of a model of the quantized electromagnetic field interacting with a classical electromagnetic potential A. The result of the model is surprisingly simple: the interacting field operator  equals the sum Â+A Î of the non-interacting field operator and the given classical potential. This result is shown to agree with common knowledge about the problem.

A new version of tetrad gravity in globally hyperbolic, asymptotically flat at spatial infinity spacetimes with Cauchy surfaces diffeomorphic to R3 is obtained by using a new parametrization of arbitrary cotetrads to define a set of configurational variables to be used in the ADM metric action. Seven of the fourteen first class constraints have the form of the vanishing of canonical momenta. A ...

Motivated from problems in canonical correlation analysis, reduced rank regression and sufficient dimension reduction, we introduce a double dimension reduction model where a single index of the multivariate response is linked to the multivariate covariate through a single index of these covariates, hence the name double single index model. Since nonlinear association between two sets of multiv...

We study nonsingular minimal surfaces of general type with pg = 6 and K2 = 13 whose canonical image is contained in a single nonsingular quadric. We show that under these assumptions, such surfaces are regular and their canonical ideal has codimension 3. Led by Buchsbaum–Eisenbud’s structure theorem, we define a map of S into a weighted Grassmannian, which factors through an embedding of the ca...

ion and Generalization of 3D structure for recognition in large intra-class variation Gowri Somanath and Chandra Kambhamettu Video/Image Modeling and Synthesis (VIMS) Lab, Department of Computer and Information Sciences, University of Delaware, Newark, DE, USA. http://vims.cis.udel.edu Abstract. Humans have abstract models for object classes which helps recognize previously unseen instances, de...

The Schrr odinger-Weyl representation of the canonical commutation relation is cir-culary invariant in a sense. Here, as a continuation of 5 , we show the converse.