Related papers: Non-deterministic algebraization of logics by swap…
In this paper, a new algebraic structure is defined, which is a new MV-algebra that has a product operation, we will call it MVW-rig (Multivalued-weak rig). This structure is defined with universal algebra axioms, it is presented with a…
Coalgebra is a currently quite active field, which aims to look at generic state-based systems (most prominently automata) from a very abstract point of view, mainly using tools from category theory. One of its achievements is to give a…
We show that an $L_\infty$-algebra can be extended to a graded Hopf algebra with a codifferential. Then we twist this extended $L_\infty$-algebra with a Drinfel'd twist, simultaneously twisting its modules. Taking the $L_\infty$-algebra as…
Additive deformations of bialgebras in the sense of J. Wirth, i.e. deformations of the multiplication map fulfilling a certain compatibility condition w.r.t. the coalgebra structure, can be generalized to braided bialgebras. The theorems…
A unified description of the relationship between the Hamiltonian structure of a large class of integrable hierarchies of equations and W-algebras is discussed. The main result is an explicit formula showing that the former can be…
This is a first of our papers devoted to "noncommutative topology and graph theory". Its origin is the paper math.QA/0002238 by I. Gelfand, V. Retakh, and R.L. Wilson where a new class of noncommutative algebras $Q_n$ was introduced. The…
We introduce and investigate the concept of Stratified Algebra, a new algebraic framework equipped with a layer-based structure on a vector space. We formalize a set of axioms governing intra-layer and inter-layer interactions, study their…
In this paper we study, analyse and comment rhetorical figures present in some of most interesting poetry of the first half of the twentieth century. These figures are at first traced back to some famous poet of the past and then compared…
Tremendous research effort has been dedicated over the years to thoroughly investigate non-monotonic reasoning. With the abundance of non-monotonic logical formalisms, a unified theory that enables comparing the different approaches is much…
Representation theorems for formal systems often take the form of an inductive translation that satisfies certain invariants, which are proved inductively. Theory morphisms and logical relations are common patterns of such inductive…
In this paper, deformations of $L_\infty$-algebras are defined in such a way that the bases of deformations are $L_\infty$-algebras, as well. A universal and a semiuniversal deformation is constructed for $L_\infty$-algebras, whose…
In this paper we consider the class of truth-functional many-valued logics with a finite set of truth-values. The main result of this paper is the development of a new \emph{binary} sequent calculi (each sequent is a pair of formulae) for…
Algebraic theories with dependency between sorts form the structural core of Martin-L\"of type theory and similar systems. Their denotational semantics are typically studied using categorical techniques; many different categorical…
We investigate left-invariant ${\rm G}_2^*$-structures on 7-dimensional Lie groups, focusing on those whose holonomy algebras are indecomposable and of type III, the latter meaning that the socle of the holonomy representation is maximal.…
Any Batalin-Vilkovisky algebra with a homotopy trivialization of the BV-operator gives rise to a hypercommutative algebra structure at the cochain level which, in general, contains more homotopical information than the hypercommutative…
In this paper we investigate the derivations of filiform Leibniz algebras. Recall that the set of filiform Leibniz algebras of fixed dimension is decomposed into three non-intersected families. We found sufficient conditions under which…
Non deterministic applications arise in many domains, including, stochastic optimization, multi-objectives optimization, stochastic planning, contingent stochastic planning, reinforcement learning, reinforcement learning in partially…
Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is…
Binary multirelations form a model of alternating nondeterminism useful for analysing games, interactions of computing systems with their environments or abstract interpretations of probabilistic programs. We investigate this alternating…
A manifold is multisymplectic, or more specifically n-plectic, if it is equipped with a closed nondegenerate differential form of degree n+1. In our previous work with Baez and Hoffnung, we described how the `higher analogs' of the…