Related papers: Conceptual Differential Calculus. I: First Order L…
Most ideas about what an algorithm is are very similar. Basic operations are used for transforming objects. The evaluation of internal and external states by relations has impact on the further process. A more precise definition can lead to…
A vector space S of linear operators between finite-dimensional vector spaces U and V is called locally linearly dependent (in abbreviate form: LLD) when every vector x in U is annihilated by a non-zero operator in S. By a duality argument,…
We work in a first-order setting where structures are spread out over a metric space, with quantification allowed only over bounded subsets. Assuming a doubling property for the metric space, we define a canonical {\em core} $\mathcal{J}$…
We describe a notion of categorical model for unitless fragments of (multiplicative) linear logic. The basic definition uses promonoidal categories, and we also give an equivalent elementary axiomatisation.
We define a functor from the category of Lie conformal algebras to the category of differential Lie coalgebras, which associates to any Lie conformal algebra $L$ a differential Lie coalgebra $L^{\,0}$, defined as the maximal good…
There are many examples of dualities between topological spaces and algebras in the literature. Particularly, many of those examples come from the algebraic counterpart of a logical system, e.g, boolean and heyting algebras, MV-algebras,…
The problem of equivalency for linear differential operators of the first order is discussed.
Given an associative, not necessarily commutative, ring R with identity, a formal matrix calculus is introduced and developed for pairs of matrices over R. This calculus subsumes the theory of homogeneous systems of linear equations with…
We introduce a variation on Barthe et al.'s higher-order logic in which formulas are interpreted as predicates over open rather than closed objects. This way, concepts which have an intrinsically functional nature, like continuity,…
A differential calculus of the first order over multi-braided quantum groups is developed. In analogy with the standard theory, left/right-covariant and bicovariant differential structures are introduced and investigated. Furthermore,…
In every variety of algebras $\Theta$ we can consider its logic and its algebraic geometry. In the previous papers geometry in equational logic, i.e., equational geometry has been studied. Here we describe an extension of this theory…
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…
To explore the extent of embeddability of Leibnizian infinitesimal calculus in first-order logic (FOL) and modern frameworks, we propose to set aside ontological issues and focus on procedural questions. This would enable an account of…
We describe derivations and automorphisms of infinite tensor products of matrix algebras. Using this description we show that for a countable--dimensional locally matrix algebra $A$ over a field $\mathbb{F}$ the dimension of the Lie algebra…
We conservatively extend classical elementary differential calculus to the Cartesian closed category of convergence spaces. By specializing results about the convergence space representation of directed graphs, we use Cayley graphs to…
We study relationship between first order multiplicative linear logic (MLL1), which has been known to provide representations to different categorial grammars, and the recently introduced extended tensor type calculus (ETTC). We identify a…
We write a first order action for higher-spin fields and construct a canonical map to Fronsdal theory. The first-order description is defined over complex field configurations and has conformal invariance. We show that it is possible to…
We construct a diffeomorphism invariant (Colombeau-type) differential algebra canonically containing the space of distributions in the sense of L. Schwartz. Employing differential calculus in infinite dimensional (convenient) vector spaces,…
Higher-order quantum theory is an extension of quantum theory where one introduces transformations whose input and output are transformations, thus generalizing the notion of channels and quantum operations. The generalization then goes…
We define a model for linear logic based on two well-known ingredients: games and simulations. This model is interesting in the following respect: while it is obvious that the objects interpreting formulas are games and that everything is…