Related papers: Strong quasi-MV* algebras and their logics
Substructural logics are formal logical systems that omit familiar structural rules of classical and intuitionistic logic such as contraction, weakening, exchange (commutativity), and associativity. This leads to a resource-sensitive…
Replacing $\{0\}$ by the whole ideal of infinitesimals yields a weaker notion of \emph{archimedean element} that we call \emph{quasiarchimedean}. It is known that semisimple MV-algebras with compact maximal spectrum (in the co-Zarisky…
We show that quasi-projective relation algebras and directed cylindric algebras are equivalent categorialy. We work out a Godels second incompleteness theorem for finite varibale fragments of first order logic. We show that distinct set…
In this paper we continue the analysis undertaken in a series of previous papers on structures arising as completions of C*-algebras under topologies coarser that their norm and we focus our attention on the so-called {\em locally convex…
We define and study the notions of q-deductive systems, p-deductive systems, deductive systems, maximal and strongly maximal q-deductive systems in quantum-Wajsberg algebras. We also introduce the notion of congruences induced by deductive…
For a $*$-automorphism group $G$ on a $C^*$- or von Neumann algebra, we study the $G$-quasi invariant states and their properties. The $G$-quasi invariance or $G$-strongly quasi invariance are weaker than the $G$-invariance and have wide…
We study the class of pseudocompact C*-algebras, which are the logical limits of finite-dimensional C*-algebras. The pseudocompact C*-algebras are unital, stably finite, real rank zero, stable rank one, and tracial. We show that the…
In previous work "Betweenness algebras" we introduced and examined the class of betweenness algebras. In the current paper we study a larger class of algebras with binary operators of possibility and sufficiency, the weak mixed algebras.…
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.…
This survey aims to highlight some of the consequences that representable (and continuous) functionals have in the framework of Banach quasi *-algebras. In particular, we look at the link between the notions of *-semisimplicity and full…
Pseudo $MV$-algebras are a non-commutative generalization of $MV$-algebras. The main purpose of the paper is to introduce and investigate orthocomplete pseudo $MV$-algebras. We use the concepts of projectable pseudo $MV$-algebras and large…
A deductive system is structurally complete if its admissible inference rules are derivable. For several important systems, like modal logic S5, failure of structural completeness is caused only by the underivability of passive rules, i.e.…
In the paper we define the convergence of compact fuzzy sets as a convergence of alpha-cuts in the topology of compact subsets of a metric space. Furthermore we define typical convergences of fuzzy variables and show relations with…
We introduce a bivariant version of the Cuntz semigroup as equivalence classes of order zero maps generalizing the ordinary Cuntz semigroup. The theory has many properties formally analogous to KK-theory including a composition product. We…
We introduce quasi-Hopf $*$-algebras i.e. quasi-Hopf algebras equipped with a conjugation (star) operation. The definition of quasi-Hopf $*$-algebras proposed ensures that the class of quasi-Hopf $*$-algebras is closed under twisting and…
Within the possibilistic approach to uncertainty modeling, the paper presents a modal logical system to reason about qualitative (comparative) statements of the possibility (and necessity) of fuzzy propositions. We relate this qualitative…
We give an axiomatic formulation of quantum structures like semilogics and quasilogics which generalize the boolean semirings of events and fuzzy logics. The notions of distributions, states, representations observables and semiobservables…
Fuzzy Epistemic Logic is an important formalism for approximate reasoning. It extends the well known basic propositional logic BL, introduced by H\'ajek, by offering the ability to reason about possibility and necessity of fuzzy…
We study maximal subalgebras of an arbitrary finite dimensional algebra over a field, and obtain full classification/description results of such algebras. This is done by first obtaining a complete classification in the semisimple case, and…
It is well-known that the theories of semi-vector spaces and semi-algebras -- which were not much studied over time -- are utilized/applied in Fuzzy Set Theory in order to obtain extensions of the concept of fuzzy numbers as well as to…