Related papers: Non-deterministic algebraization of logics by swap…
We define and study LNL polycategories, which abstract the judgmental structure of classical linear logic with exponentials. Many existing structures can be represented as LNL polycategories, including LNL adjunctions, linear exponential…
We obtain, for the first time, a modular many-valued semantics for combined logics, which is built directly from many-valued semantics for the logics being combined, by means of suitable universal operations over partial non-deterministic…
We find a new braided Hopf structure for the algebra satisfied by the entries of the braided matrix $BSL_q(2)$. A new nonbraided algebra whose coalgebra structure is the same as the braided one is found to be a two parameter deformed…
For a noncommutative configuration space whose coordinate algebra is the universal enveloping algebra of a finite dimensional Lie algebra, it is known how to introduce an extension playing the role of the corresponding noncommutative phase…
Given a Hopf algebra H, we study modules and bimodules over an algebra A that carry an H-action, as well as their morphisms and connections. Bimodules naturally arise when considering noncommutative analogues of tensor bundles. For…
We study a type of left-invariant structure on Lie groups, or equivalently on Lie algebras. We introduce obstructions to the existence of a hypo structure, namely the 5-dimensional geometry of hypersurfaces in manifolds with holonomy SU(3).…
A unified treatment of both superconformal and quasisuperconformal algebras with quadratic non-linearity is given. General formulas describing their structure are found by solving the Jacobi identities. A complete classification of…
We describe the E-infinity algebra structure on the complex of singular cochains of a topological space, in the context of sheaf theory. As a first application, for any algebraic variety we define a weight filtration compatible with its…
For an arbitrary group, the subgroups form a lattice with order determined by set inclusion. Not every lattice is isomorphic to the subgroup lattice for a group. However, Birkhoff and Frink proved that any compactly generated lattice is…
Classification and invariants, with respect to basis changes, of finite dimensional algebras are considered. An invariant open, dense (in the Zariscki topology) subset of the space of structural constants is defined. The algebras with…
We develop a general model theoretic semantics to rewriting beyond the usual confluence and termination assumptions. This is based on preordered algebra which is a model theory that extends many sorted algebra. In this framework we…
In this paper, we introduce the concept of a (lattice) skew Hilbert algebra as a natural generalization of Hilbert algebras. This notion allows a unified treatment of several structures of prominent importance for mathematical logic, e.g.…
In this paper, we present a new hypercomplex number system, Trinition, that has an unusual structure of commutativity, noncommutativity, nonassociativity, and deformability.
Algebras of Logic deal with some algebraic structures, often bounded lattices, considered as models of certain logics, including logic as a domain of order theory. There are well known their importance and applications in social life to…
A prototype for an extensible interactive graphical term manipulation system is presented that combines pattern matching and nondeterministic evaluation to provide a convenient framework for doing tedious algebraic manipulations that so far…
Bialgebras and Hopf (bi)modules are typical algebraic structures with several interacting operations. Their structural and homological study is therefore quite involved. We develop the machinery of braided systems, tailored for handling…
We consider multiple polylogarithms in a single variable at non-positive integers. Defining a connected graded Hopf algebra, we apply Connes' and Kreimer's algebraic Birkhoff decomposition to renormalize multiple polylogarithms at…
In this paper, we introduce the notion of multiplier of a Hilbert algebra. The space of bounded multipliers is a semifinite von Neumann algebra isomorphic to the left von Neumann algebra of the Hilbert algebra, as expected. However, in the…
The paper studies the structure of restricted Leibniz algebras. More specifically speaking, we first give the equivalent definition of restricted Leibniz algebras, which is by far more tractable than that of a restricted Leibniz algebras in…
We set up a formalism of Maurer-Cartan moduli sets for L-infinity algebras and associated twistings based on the closed model category structure on formal differential graded algebras (a.k.a. differential graded coalgebras). Among other…