Related papers: Non-associative and projective linear logics
We find a translation with particularly nice properties from intuitionistic propositional logic in countably many variables to intuitionistic propositional logic in two variables. In addition, the existence of a possibly-not-as-nice…
In this note a simple extension of the complex algebra to higher dimension is proposed. Using the postulated algebra a two dimensional Dirac equation is formulated and its solution is calculated. It is found that there is a sub-algebra…
We define and investigate a geometric object, called an associative geometry, corresponding to an associative algebra (and, more generally, to an associative pair). Associative geometries combine aspects of Lie groups and of generalized…
We define and investigate a geometric object, called an associative geometry, corresponding to an associative algebra (and, more generally, to an associative pair). Associative geometries combine aspects of Lie groups and of generalized…
We present QBAL, an extension of Girard, Scedrov and Scott's bounded linear logic. The main novelty of the system is the possibility of quantifying over resource variables. This generalization makes bounded linear logic considerably more…
A nonassociative generalization of supersymmetry is studied, where supersymmetry generators are considered to be the nonassociative ones. Associators for the product of three and four multipliers are defined. Using a special choice of the…
In this paper, we develop a geometric approach to study derived tame finite dimensional associative algebras, based on the theory of non-commutative nodal curves.
We summarize the emergence of non-commutative/non-associative structures in Dirac's generalization of Maxwell theory, focusing mostly on the magnetic field analogue of the non-geometric R-flux string model. The cohomological interpretation…
Linear implication can represent state transitions, but real transition systems operate under temporal, stochastic or probabilistic constraints that are not directly representable in ordinary linear logic. We propose a general modal…
We study the relationship between multiplicative 2-forms on Lie groupoids and linear 2-forms on Lie algebroids, which leads to a new approach to the infinitesimal description of multiplicative 2-forms and to the integration of twisted Dirac…
In this survey, we present in a unified way the categorical and syntactical settings of coherent differentiation introduced recently, which shows that the basic ideas of differential linear logic and of the differential lambda-calculus are…
By considering generalized logarithm and exponential functions used in nonextensive statistics, the four usual algebraic operators : addition, subtraction, product and division, are generalized. The properties of the generalized operators…
Abstraction logic is a new logic, serving as a foundation of mathematics. It combines features of both predicate logic and higher-order logic: abstraction logic can be viewed both as higher-order logic minus static types as well as…
We refine a model for linear logic based on two well-known ingredients: games and simulations. We have already shown that usual simulation relations form a sound notion of morphism between games; and that we can interpret all linear logic…
It is standard to regard the intuitionistic restriction of a classical logic as increasing the expressivity of the logic because the classical logic can be adequately represented in the intuitionistic logic by double-negation, while the…
We study nonlinear connectives (exponentials) in the context of Type Logical Grammar (TLG). We devise four conservative extensions of the displacement calculus with brackets, DbC, DbCM, DbCb and DbCbMr which contain the universal and…
We develop a covariant formalism to study nonlinear perturbations of dissipative and interacting relativistic fluids. We derive nonlinear evolution equations for various covectors defined as linear combinations of the spatial gradients of…
This work is devoted to dissipative extension theory for dissipative linear relations. We give a self-consistent theory of extensions by generalizing the theory on symmetric extensions of symmetric operators. Several results on the…
We investigate Schwinger-Dyson equations for correlators of Wilson line operators in non-commutative gauge theories. We point out that, unlike what happens for closed Wilson loops, the joining term survives in the planar equations. This…
Interactive theorem provers based on dependent type theory have the flexibility to support both constructive and classical reasoning. Constructive reasoning is supported natively by dependent type theory and classical reasoning is typically…