Related papers: Super-\L ukasiewicz logics expanded by $\Delta$

G\"odel modal logics can be seen as extenions of intutionistic modal logics with the prelinearity axiom. In this paper we focus on the algebraic and relational semantics for G\"odel modal logics that leverages on the duality between finite…

The present paper investigates proof-theoretical and algebraic properties for the probability logic FP(L,L), meant for reasoning on the uncertainty of Lukasiewicz events. Methodologically speaking, we will consider a translation function…

We review a procedure of factorizing the Minkowski space Dirac operator over a~suitable superspace, discuss its Euclidean space version and apply the worked out formalism in the case od an almost-commutative Dirac operator. The presented…

The first contribution of this paper is the presentation of a Pavelka - like formulation of possibilistic logic in which the language is naturally enriched by two connectives which represent negation (eg) and a new type of conjunction…

In this paper we provide a simplified semantics for the logic KD45(G), i.e. the many-valued G\"odel counterpart of the classical modal logic KD45. More precisely, we characterize KD45(G) as the set of valid formulae of the class of…

In this paper, we introduce a new higher-order Laplacian operator in the framework of Orlicz-Sobolev spaces, the biharmonic g-Laplacian $$\Delta_g^2 u:=\Delta \left(\dfrac{g(|\Delta u|)}{|\Delta u|} \Delta u\right),$$ where $g=G'$, with $G$…

In this paper, we prove a new identity for values of the Hurwitz zeta function which contains as particular cases Koecher's identity for odd zeta values, the Bailey-Borwein-Bradley identity for even zeta values and many other interesting…

An algebraic setting for the validity of Pavelka style completeness for some natural expansions of \L ukasiewicz logic by new connectives and rational constants is given. This algebraic approach is based on the fact that the standard…

Here we initiate an investigation into the class mLMn{\times}m of monadic n{\times}m-valued Lukasiewicz-Moisil algebras (or mLMn{\times}m-algebras), namely n{\times}m-valued Lukasiewicz-Moisil algebras endowed with a unary operation called…

We study a real valued propositional logic with unbounded positive and negative truth values that we call R-valued logic. Such logic slightly extends continuous propositional logic which, in turn, builds on Lukasiewicz many-valued logic.…

In this paper we show that every inner divisor of the operator-valued coordinate function, $zI_E$, is a Blaschke-Potapov factor. We also introduce a notion of operator-valued "rational" function and then show that $\Delta$ is two-sided…

Intuitionistic Propositional Logic is proved to be an infinitely many valued logic by Kurt G\"odel (1932), and it is proved by Stanis{\l}aw Ja\'skowski (1936) to be a countably many valued logic. In this paper, we provide alternative proofs…

We study the complex powers $A^{z}$ of an elliptic, strictly positive pseudodifferential operator $A$ using an axiomatic method that combines the approaches of Guillemin and Seeley. In particular, we introduce a class of algebras,…

In the classical Batalin--Vilkovisky formalism, the BV operator $\Delta$ is a differential operator of order two with respect to the commutative product. In the differential graded setting, it is known that if the BV operator is…

The notion of orbit finite data monoid was recently introduced by Bojanczyk as an algebraic object for defining recognizable languages of data words. Following Buchi's approach, we introduce a variant of monadic second-order logic with data…

In this paper the operator $A = u(z)\frac{d}{dz}$ is considered, where $u$ is an entire or meromorphic function in the complex plane. The expansion of $A^{k}$ ($k\geq1$) with the help of the powers of the differential operator…

In the framework of operator theory, we investigate a close Lie theoretic relationship between all operator ideals and certain classical groups of invertible operators that can be described as the solution sets of certain algebraic…

Modern applications combine information from a great variety of sources. Oftentimes, some of these sources, like Machine-Learning systems, are not strictly binary but associated with some degree of (lack of) confidence in the observation.…

For each natural number $n$ we study the modal logic determined by the class of transitive Kripke frames in which there are no cycles of length greater than $n$ and no strictly ascending chains. The case $n=0$ is the G\"odel-L\"ob…

We give a new proof of the "super Kazhdan-Lusztig conjecture" for the Lie super algebra $\mathfrak{gl}_{n|m}(\mathbb{C})$ as formulated originally by the first author. We also prove for the first time that any integral block of category O…