Related papers: Scalar extensions for algebraic structures of Luka…
We generalize the tensor product theory for modules for a vertex operator algebra previously developed in a series of papers by the first two authors to suitable module categories for a ``conformal vertex algebra'' or even more generally,…
The main aim of this paper is to show the interconnections between {\L}ukasiewicz logic and algebraic geometry using algebraic, geometric and logical instruments. We continue our investigation into a new algebraic geometry based on…
It is proved that the category $\mathbb{EM}$ of extended multisets is dually equivalent to the category $\mathbb{CHMV}$ of compact Hausdorff MV-algebras with continuous homomorphisms, which is in turn equivalent to the category of complete…
We study strongly graded vertex algebras and their strongly graded modules, which are conformal vertex algebras and their modules with a second, compatible grading by an abelian group satisfying certain grading restriction conditions. We…
Our main issue was to understand the connection between \L ukasiewicz logic with product and the Pierce-Birkhoff conjecture, and to express it in a mathematical way. To do this we define the class of \textit{f}MV-algebras, which are…
We describe a logarithmic tensor product theory for certain module categories for a ``conformal vertex algebra.'' In this theory, which is a natural, although intricate, generalization of earlier work of Huang and Lepowsky, we do not…
We study the S5-modal expansion of the logic based on the Lukasiewicz t-norm. We exhibit a finitary propositional calculus and show that it is finitely strongly complete with respect to this logic. This propositional calculus is then…
We first generalize the logarithmic tensor category theory of Huang-Lepowsky-Zhang to the more general case that the module category for a vertex operator algebra $V$ (more generally a M\"{o}bius vertex algebra) might not be closed under…
We review the construction of braided tensor categories and modular tensor categories from representations of vertex operator algebras, which correspond to chiral algebras in physics. The extensive and general theory underlying this…
Let $V$ be a vertex operator algebra satisfying suitable conditions such that in particular its module category has a natural vertex tensor category structure, and consequently, a natural braided tensor category structure. We prove that the…
In this paper we study $\mathcal{MV}^+$, i.e. the positive fragment of {\L}ukasiewicz Multi-Valued Logic $\mathcal{MV}$. In particular we describe all the finitary extensions of $\mathcal{MV}^+$ that are structurally complete and all the…
In this paper we propose a semiring-theoretic approach to MV-algebras based on the connection between such algebras and idempotent semirings - such an approach naturally imposing the introduction and study of a suitable corresponding class…
In this paper, once recalled some properties of CMV-algebras, we introduce an expansion of the one-variable fragment of Lukasiewicz propositional logic whose algebraic semantics is the variety of CMV-algebras.
The Blok-Esakia theorem states that there is an isomorphism from the lattice of intermediate logics onto the lattice of normal extensions of Grzegorczyk modal logic. The extension for multi-conclusion consequence relations was obtained by…
MV-algebras can be viewed either as the Lindenbaum algebras of Lukasiewicz infinite-valued logic, or as unit intervals [0,u] of lattice-ordered abelian groups in which a strong order unit u>0 has been fixed. They form an equational class,…
In these notes we study the class of divisible MV-algebras inside the algebraic hierarchy of MV-algebras with product. We connect divisible MV-algebras with $\mathbb Q$-vector lattices, we present the divisible hull as a categorical…
The aim of the paper is to analyze the expressive power of the square operator of Lukasiewicz logic: $\ast x=x\odot x$, where $\odot$ is the strong Lukasiewicz conjunction. In particular, we aim at understanding and characterizing those…
An MV-module is an MV-algebra endowed with a scalar multiplication with scalars in a PMV-algebra (i.e. an MV-algebra endowed with a binary "ring-like" product). We investigate the class of semisimple MV-modules over a semisimple and totally…
We describe representation theorems for local and perfect MV-algebras in terms of ultraproducts involving the unit interval [0,1]. Furthermore, we give a representation of local Abelian lattice-ordered groups with strong unit as…
We study algebraic conditions when a pseudo MV-algebra is an interval in the lexicographic product of an Abelian unital $\ell$-group and an $\ell$-group that is not necessary Abelian. We introduce $(H,u)$-perfect pseudo MV-algebras and…