Related papers: Contrapositionally Complemented Pseudo-Boolean Alg…
We investigate the complexity of isomorphism relations for classes of finitely generated and n-generated computably enumerable (c.e.) algebras, presented via c.e. presentations -- that is, as quotients of term algebras over decidable sets…
We study commutative post-Lie algebras $(${\rm CPA}s$)$ from an algebraic point of view. Firstly, we find some new identities in {\rm CPA}, which shows that the commutative multiplication gives a medial and derived commutative associative…
The Kripke semantics of classical propositional normal modal logic is made algebraic via an embedding of Kripke structures into the larger class of pointed stably supported quantales. This algebraic semantics subsumes the traditional…
We propose a notion of a quantum universal enveloping algebra for an arbitrary Lie algebra defined by generators and relations which is based on the quantum Lie operation concept. This enveloping algebra has a PBW basis that admits the…
We give an explicit description of commutative post-Lie algebra structures on some classes of nilpotent Lie algebras. For non-metabelian filiform nilpotent Lie algebras and Lie algebras of strictly upper-triangular matrices we show that all…
We construct some new Integrable Systems (IS) both classical and quantum associated with elliptic algebras. Our constructions are partly based on the algebraic integrability mechanism given by the existence of commuting families in skew…
We propose a general scheme for the "logic" of elementary propositions of physical systems, encompassing both classical and quantum cases, in the framework given by Non Commutative Geometry. It involves Baire*-algebras, the non-commutative…
Probabilistic argumentation is an alternative to causal modeling with Bayesian networks. Probabilistic argumentation structures (PAS) are defined on families of compatible frames (f.c.f). This is a generalization of the usual multivariate…
Quasi-Boolean algebras were introduced as the generalization of Boolean algebras in the setting of quantum computation logic. In this paper, we investigate the completeness and congruences of quasi-Boolean algebras. First, we discuss the…
Pseudo-BCI-algebras generalize both BCI-algebras and pseudo-BCK-algebras, which are a non-commutative generalization of BCK-algebras. In this paper, following [J.G. Raftery and C.J. van Alten, Residuation in commutative ordered monoids with…
Nongraded infinite-dimensional Lie algebras appeared naturally in the theory of Hamiltonian operators, the theory of vertex algebras and their multi-variable analogues. They play important roles in mathematical physics. This survey article…
The decomposition problem of the enveloping algebra of a simple Lie algebra is reconsidered combining both the analytical and the algebraic approach, showing its relation with the internal labelling problem with respect to a nilpotent…
The first aim of this paper is to show that any finite-dimensional reductive Lie algebra and its finite-dimensional completely reducible representation can be embedded into some PC Lie algebra. The second aim is to find the structure of a…
Starting with a $W^{*}$-algebra $M$ we use the inverse system obtained by cutting down $M$ by its (central) projections to define an inverse limit of $W^{*}$-algebras, and show that how this pro-$W^{*}$-algebra encodes the local structure…
Joint Vision-Language Embedding models such as CLIP typically fail at understanding negation in text queries, for example, failing to distinguish "no" in the query: "a plain blue shirt with no logos". Prior work has largely addressed this…
We study pseudoalgebras from the point of view of pseudo-dual of classical Lie coalgebra structures. We define the notions of Lie H-coalgebra and Lie pseudo-bialgebra. We obtain the analog of the CYBE, the Manin triples and Drinfeld's…
Coalition Logic studies what coalitions can enforce. Recent work treats inability as simple non-ability: $\neg\Eff{C}\varphi$. This conflates two distinct configurations -- a coalition unable to force $\varphi$ may still force…
We show a correspondence between a classification of maximal abelian sub-algebras (MASAs) proposed by Jacques Dixmier and fragments of linear logic. We expose for this purpose a modified construction of Girard's hyperfinite geometry of…
In this paper we compare some old formulations of Minimalism, in particular Stabler's computational minimalism, and Chomsky's new formulation of Merge and Minimalism, from the point of view of their mathematical description in terms of Hopf…
One of the algebraic structures that has emerged recently in the study of the operator product expansions of chiral fields in conformal field theory is that of a Lie conformal algebra. A Lie pseudoalgebra is a generalization of the notion…