Related papers: Super-\L ukasiewicz logics expanded by $\Delta$
We introduce a family of modal expansions of {\L}ukasiewicz logic that are designed to accommodate modal translations of generalized basic logic (as formulated with exchange, weakening, and falsum). We further exhibit algebraic semantics…
Continuing to pursue a research direction that we already explored in connection with G\"odel-Dummett logic and Ruspini partitions, we show here that {\L}ukasiewicz logic is able to express the notion of pseudo-triangular basis of fuzzy…
We define the concept of higher order differential operators on a general noncommutative, nonassociative superalgebra A, and show that a vertex operator superalgebra has plenty of them, namely modes of vertex operators. A linear operator…
Modal probabilistic logics provide a framework for reasoning about probability in modal contexts, involving notions such as knowledge, belief, time, and action. In this paper, we study a particular family of these logics, extending the…
We present two embeddings of infinite-valued Lukasiewicz logic L into Meyer and Slaney's abelian logic A, the logic of lattice-ordered abelian groups. We give new analytic proof systems for A and use the embeddings to derive corresponding…
Justification logics are special kinds of modal logics which provide a framework for reasoning about epistemic justifications. For this, they extend classical boolean propositional logic by a family of necessity-style modal operators "t:",…
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…
For a closed densely defined operator $T$ from a Hilbert space $\mathfrak{H}$ to a Hilbert space $\mathfrak{K}$, necessary and sufficient conditions are established for the factorization of $T$ with a bounded nonnegative operator $X$ on…
We explore the problem of explaining observations in contexts involving statements with truth degrees such as `the lift is loaded', `the symptoms are severe', etc. To formalise these contexts, we consider infinitely-valued {\L}ukasiewicz…
Galeotti, Khomskii and V\"a\"an\"aanen recently introduced the notion of the upward L\"owenheim-Skolem-Tarski number for a logic, strengthening the classical notion of a Hanf number. A cardinal $\kappa$ is the \emph{upward…
This paper aims at connecting the various classes that provide an algebraic semantics for three different conservative expansions of Lukasiewicz logic, using algebraic and category-theoretical techniques. We connect such classes of algebras…
In this paper, we investigate the many-valued version of coalgebraic modal logic through predicate lifting approach. Coalgebras, understood as generic transition systems, can serve as semantic structures for various kinds of modal logics. A…
Linear spaces with an Euclidean metric are ubiquitous in mathematics, arising both from quadratic forms and inner products. Operators on such spaces also occur naturally. In recent years, the study of multivariate operator theory has made…
We initiate a deep study of {\em Riesz MV-algebras} which are MV-algebras endowed with a scalar multiplication with scalars from $[0,1]$. Extending Mundici's equivalence between MV-algebras and $\ell$-groups, we prove that Riesz MV-algebras…
If $T$ is a (densely defined) self-adjoint operator acting on a complex Hilbert space $\mathcal{H}$ and $I$ stands for the identity operator, we introduce the delta function operator $\lambda \mapsto \delta \left(\lambda I-T\right) $ at…
Theory of operators generated by binary fuzzy relations is highly increasing for its nature and applicability. The main goal of the paper is to present several representation theorems for operators induced by fuzzy relations (for example…
This work contributes to the domains of Boolean algebra and of Bayesian probability, by proposing an algebraic extension of Boolean algebras, which implements an operator for the Bayesian conditional inference and is closed under this…
We construct $\Delta$-operators $F[\Delta]$ on the space of almost symmetric functions $\mathscr{P}_{as}^{+}$. These operators extend the usual $\Delta$-operators on the space of symmetric functions $\Lambda \subset \mathscr{P}_{as}^{+}$…
We extend the notion of the determinant function $\Lambda$, originally introduced by T.Fack for $\tau$-compact operators, to a natural algebra of $\tau$-measurable operators affiliated with a semifinite von Neumann algebra which coincides…
We prove that the hierarchy of higher antibrackets (aka higher Koszul brackets, aka Koszul braces) of a linear operator $\Delta$ on a commutative superalgebra can be defined by some universal formulas involving iterated Nijenhuis-Richardson…