相关论文: A duality for (n+1)-valued MV-algebras

We prove that given $\mathcal{C}$ a presentably symmetric monoidal $\infty$-category, and any essentially small $\infty$-operad $\mathcal{O}$, the $\infty$-category of $\mathcal{O}$-algebras in $\mathcal{C}$ is enriched, tensored and…

We prove a new duality theorem for the category of precontact algebras which implies the Stone Duality Theorem, its connected version obtained in arXiv:1508.02220v3, 1-44 (to appear in Topology Appl.), the recent duality theorems of…

We define a theory of parameterized algebraic complexity classes in analogy to parameterized Boolean counting classes. We define the classes VFPT and VW[t], which mirror the Boolean counting classes #FPT and #W[t], and define appropriate…

The main result of this paper is a characterization of properly infinite injective von Neumann algebras and of nuclear C*-algebras by using a uniqueness theorem, based on generalizations of Voiculescu's famous Weyl-von Neumann theorem.

The structure of filtered algebras of Grothendieck's differential operators of truncated polynomials in one variable and graded Poisson algebras of their principal symbols is explicitly determined. A related infinitesimal-birational duality…

From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models…

Lian and Zuckerman proved that the homology of a topological chiral algebra can be equipped with the structure of a BV-algebra; \ie one can introduce a multiplication, an odd bracket, and an odd operator $\Delta$ having the same properties…

The founding of the theory of cylindric algebras, by Alfred Tarski, was a conscious effort to create algebras out of first order predicate calculus. Let $n\in\omega$. The classes of non-commutative cylindric algebras ($NCA_n$) and weakened…

Double Boolean algebras are algebras $\underline{D}=(D;\sqcap,\sqcup,\neg,\lrcorner,\bot,\top)$ of type $(2,2,1,1,0,0)$ introduced by Rudolf Wille to capture the equational theory of the algebra of protoconcepts. Every double Boolean…

It is well known that there is a correspondence between sets and complete, atomic Boolean algebras (CABA's) taking a set to its power-set and, reciprocally, a complete, atomic Boolean algebra to its set of atomic elements. Of course, such a…

We examine various versions of oriented cohomology and Borel-Moore homology theories in algebraic geometry and put these two together in the setting of an "oriented duality theory", a generalization of Bloch-Ogus twisted duality theory.…

In this paper we presented some connections between BCK-commutative bounded algebras, MV-algebras, Wajsberg algebras and binary block codes. Using connections between these three algebras, we will associate to each of them a binary block…

We prove a stronger version of the Kontsevich Formality Theorem for orientable manifolds, relating the Batalin-Vilkovisky (BV) algebra of multivector fields and the homotopy BV algebra of multidifferential operators of the manifold.

Quantitative algebras are algebras enriched in the category $\mathsf{Met}$ of metric spaces so that all operations are nonexpanding. Mardare, Plotkin and Panangaden introduced varieties (aka $1$-basic varieties) as classes of quantitative…

We present a complete characterization of subdirectly irreducible MV-algebras with internal states (SMV-algebras). This allows us to classify subdirectly irreducible state morphism MV-algebras (SMMV-algebras) and describe single generators…

Within the framework of the gauge O(1,3)\times O(1,3)-theory, an extension of the Belavin-Polyakov-Schwarz-Tyupkin ansatz is proposed by incorporation there the Levi-Civita tensor. The duality properties of the theory, admitting…

We introduce an endofunctor $H$ on the category $bal$ of bounded archimedean $\ell$-algebras and show that there is a dual adjunction between the category $Alg(H)$ of algebras for $H$ and the category $Coalg(V)$ of coalgebras for the…

We define two $(n+1)$ graded Lie brackets on spaces of multilinear mappings. The first one is able to recognize $n$-graded associative algebras and their modules and gives immediately the correct differential for Hochschild cohomology. The…

The notions of Zinbiel 2-algebras and 2-term $Z_{\infty}$-algebras are introduced. It is proved that the category of Zinbiel 2-algebras and the category of $2$-term $Z_{\infty}$-algebras are equivalent to each other. Crossed module…

We present the logic BL_Chang, an axiomatic extension of BL (see P. H\'ajek - Metamathematics of fuzzy logic - 1998, Kluwer) whose corresponding algebras form the smallest variety containing all the ordinal sums of perfect MV-chains. We…