Related papers: Super-\L ukasiewicz logics expanded by $\Delta$
A second order self-adjoint operator $\Delta=S\partial^2+U$ is uniquely defined by its principal symbol $S$ and potential $U$ if it acts on half-densities. We analyse the potential $U$ as a compensating field (gauge field) in the sense that…
We introduce and study a two-parameter family of symmetry reductions of the two-dimensional Toda lattice hierarchy, which are characterized by a rational factorization of the Lax operator into a product of an upper diagonal and the inverse…
This text is a detailed overview of the theories of W*-algebras and noncommutative integration, up to the Falcone-Takesaki theory of noncommutative Lp spaces over arbitrary W*-algebras, and its extension to noncommutative Orlicz spaces. The…
Beginning with the conjecture of Artin and Tate in 1966, there has been a series of successively more general conjectures expressing the special values of the zeta function of an algebraic variety over a finite field in terms of other…
We study the representation theory of finite W-algebras. After introducing parabolic subalgebras to describe the structure of W-algebras, we define the Verma modules and give a conjecture for the Kac determinant. This allows us to find the…
We propose a matrix model for two- and many-valued logic using families of observables in Hilbert space, the eigenvalues give the truth values of logical propositions where the atomic input proposition cases are represented by the…
In this paper, we study the dynamics of an operator $\mathcal T$ naturally associated to the so-called Collatz map, which maps an integer $n \geq 0$ to $n / 2$ if $n$ is even and $3n + 1$ if $n$ is odd. This operator $\mathcal T$ is defined…
In this paper, we introduce a fundamental framework to create a bridge between Probability Theory and Fuzzy Logic. Indeed, our theory formulates a random experiment of selecting crisp elements with the criterion of having a certain fuzzy…
Quasi-MV* algebras were introduced as generalizations of MV*-algebras and quasi-MV algebras. The recent investigation into quasi-MV* algebras shows that they are closely related to quantum computational logic and complex fuzzy logic. In…
Fuzzy Description Logics (FDLs) are logic-based formalisms used to represent and reason with vague or imprecise knowledge. It has been recently shown that reasoning in most FDLs using truth values from the interval [0,1] becomes undecidable…
Given a Banach lattice $L,$ the space of lattice Lipschitz operators on $L$ has been introduced as a natural Lipschitz generalization of the linear notions of diagonal operator and multiplication operator on Banach function lattices. It is…
This note concerns bounded derivations on maximal triangular operator algebras on a Hilbert space. Given any bounded derivation $\delta$ on a maximal triangular algebra whose invariant lattice is continuous at 1, an operator which is shown…
The problem of self-adjoint extensions of Dirac-type operators in manifolds with boundaries is analysed. The boundaries might be regular or non-regular. The latter situation includes point-like interactions, also called delta-like…
We study two notions of definability for classes of relational structures based on modal extensions of {\L}ukasiewicz finitely valued-logics. The main results of the paper are the equivalent of the Goldblatt - Thomason theorem for these…
We study an extension of the Distributive Full Non-associative Lambek Calculus with iterative division operators. The iterative operators can be seen as representing iterative composition of linguistic resources or of actions. A complete…
We extend the usual theory of universal C*-algebras from generators and relations in order to allow some relations to be described using the strong operator topology. In particular, we can allow some infinite sum relations. We prove a…
The framework of quantitative equational logic has been successfully applied to reason about algebras whose carriers are metric spaces and operations are nonexpansive. We extend this framework in two orthogonal directions: algebras endowed…
We extend Ueda's peak set theorem for subdiagonal subalgebras of tracial finite von Neumann algebras, to sigma-finite von Neumann algebras (that is, von Neumann algebras with a faithful state; which includes those on a separable Hilbert…
In 2023, Kuznetsov and Speranski introduced infinitary action logic with multiplexing $!^m\nabla \mathrm{ACT}_\omega$ and proved that the derivability problem for it lies between the $\omega$ and $\omega^\omega$ levels of the…
We review generalized zeta functions built over the Riemann zeros (in short: "superzeta" functions). They are symmetric functions of the zeros that display a wealth of explicit properties, fully matching the much more elementary Hurwitz…