Related papers: Strong quasi-MV* algebras and their logics
If $\ca_0[|\cdot|_0]$ is a $\cs$-normed algebra and $\tau$ a locally convex topology on $\ca_0$ making its multiplication separately continuous, then $\widetilde{\ca_0}[\tau]$ (completion of $\ca_0[\tau]$) is a locally convex quasi…
In this paper we present a propositional logic programming language for reasoning under possibilistic uncertainty and representing vague knowledge. Formulas are represented by pairs (A, c), where A is a many-valued proposition and c is…
Certain $*$-semigroups are associated with the universal $C^*$-algebra generated by a partial isometry, which is itself the universal $C^*$-algebra of a $*$-semigroup. A fundamental role for a $*$-structure on a semigroup is emphasized, and…
We examine the ranks of operators in semi-finite C*-algebras as measured by their densely defined lower semicontinuous traces. We first prove that a unital simple C*-algebra whose extreme tracial boundary is nonempty and finite contains…
A semantics is given to possibilistic logic, a logic that handles weighted classical logic formulae, and where weights are interpreted as lower bounds on degrees of certainty or possibility, in the sense of Zadeh's possibility theory. The…
This paper proposes the meeting of fuzzy logic with paraconsistency in a very precise and foundational way. Specifically, in this paper we introduce expansions of the fuzzy logic MTL by means of primitive operators for consistency and…
In this book super interval matrices using the special type of intervals of the form [0, a] are introduced. Several algebraic structures like semigroups, groups, semirings, rings, semivector spaces and vector spaces are introduced. Special…
We present the axiomatisation of the fuzzy bi-G\"{o}del modal logic (formulated in the language containing $\triangle$ and treating the coimplication as a defined connective) and establish its PSpace-completeness. We also consider its…
In this paper we deal with a new approach to probabilistic reasoning in a logical framework. Nearly almost all logics of probability that have been proposed in the literature are based on classical two-valued logic. After making clear the…
Coalgebras provide a uniform framework to study dynamical systems, including several types of automata. In this paper, we make use of the coalgebraic view on systems to investigate, in a uniform way, under which conditions calculi that are…
We introduce the notion of a computably strongly self-absorbing C*-algebra and show that the following C*-algebras are computably strongly self-absorbing: the Cuntz algebras $\mathcal{O}_2$ and $\mathcal{O}_\infty$, the UHF algebra…
This work is a generalization of the results in [Gul] to bi-disc case. As in [Gul], quasi-parabolic composition operators on the Hilbert-Hardy space of the bi-disc are written as a linear combination of Toeplitz operators and Fourier…
We define a quasiclassical limit of the Lian-Zuckerman homotopy BV algebra (quasiclassical LZ algebra) on the subcomplex, corresponding to "light modes", i.e. the elements of zero conformal weight, of the semi-infinite (BRST) cohomology…
We study some general properties of tracial C*-algebras. In the first part, we consider Dixmier type approximation theorem and characterize symmetric amenability for C*-algebras. In the second part, we consider continuous bundles of tracial…
We give a framework to produce C*-algebra inclusions with extreme properties. This gives the first constructive nuclear minimal ambient C*-algebras. We further obtain a purely infinite analogue of Dadarlat's modeling theorem on AF-algebras:…
Over a field of characteristic zero, we show that two commutative differential graded (dg) algebras are quasi-isomorphic if and only if they are quasi-isomorphic as associative dg algebras. This answers a folklore problem in rational…
The class of graded elementary quasi-Hopf algebras of tame type is classified. Combining with our previous work [19], this completes the trichotomy for such class of algebras according to their representation types. In addition, new…
In this paper, we consider Blackadar and Kirchberg's MF algebras. We show that any inner quasidiagonal C-algebra is MF algebra and we generalize Voiculescu's Representation Theorem for a special version of MF algebras. Moreover, we define a…
The combination of higher-order theories and fuzzy logic can be useful in decision-making tasks that involve reasoning across abstract functions and predicates, where exact matches are often rare or unnecessary. Developing efficient…
This paper provides an extensive study of the homotopy theory of types of algebras with units, like unital associative algebras or unital commutative algebras for instance. To this purpose, we endow the Koszul dual category of curved…