We show that the theory of MV-algebras is Morita-equivalent to that of abelian `-groups with strong unit. This generalizes the well-known equivalence between the categories of set-based models of the two theories established by D. Mundici in 1986, and allows to transfer properties and results across them by using the methods of topos theory. We discuss several applications, including a sheaf-th...

This material is studying MV-algebras and BL-algebras in terms of applicability in Boole algebra. Boole algebras are expanded use in fuzzy logic.

In this paper we enlarge the language of MV-algebras by a unary operation r equationally described so as to preserve the basic properties of a state in its original meaning. The resulting class of algebras will be called MV-algebras with internal state (or SMV-algebras for short). After discussing some basic algebraic properties of SMV-algebras, we apply them to the study of the coherence probl...

Motivated by the concept of quantifier (in the sense of P. Halmos) on different algebraic structures (Boolean algebras, Heyting algebras, MV-algebras, orthomodular lattices, bounded distributive lattices) and the resulting notion of monadic algebra, the paper introduces the concept of a monadic quantale algebra, considers its properties and provides several representation theorems for the new s...

Effect algebras have been introduced by Foulis and Bennett [2] (see also [3, 4] for equivalent definitions) for modeling unsharp measurements in quantum mechanical systems [5]. They are a generalization of many structures which arise in the axiomatization of quantum mechanics (Hilbert space effects [7]), noncommutative measure theory and probability (orthomodular lattices and posets, [6]), fuzz...

We develop alternative semantics for à Lukasiewicz logic and for cancellative hoop logic according to the following idea. We formalize statements reflecting an inexact knowledge of certain (sharp) properties; we assume that all what can be known about a property is its expressive strength. To this end, we consider a Boolean algebra endowed with an automorphism group or, alternatively, with a me...

1 Mathematical Institute, Slovak Academy of Sciences, Štefánikova 49, SK-814 73 Bratislava, Slovakia E-mail: [email protected] In the frames of quantum structures, states are a very important notion that model probability on an algebraic structure. Already G. Boole observed that to calculate probability of event of the structure M , it is important to know only which two events A and B we c...

The goal of this paper is to prove that if Q is a connected non-Dynkin quiver then the preprojective algebra ΠQ(k) of Q over any field k is Koszul, and has Hilbert series (1 − Ct+ t2)−1, where C is the adjacency matrix of the double Q̄ of Q. We also prove a similar result for the partial preprojective algebra ΠQ,J(k) of any connected quiver Q, where J ⊂ I is a subset of the set I of vertices of ...

This paper is a contribution to the development of model theory of fuzzy logic in narrow sense. We consider a formal system Ev L of fuzzy logic that has evaluated syntax, i.e. axioms need not be fully convincing and so, they form a fuzzy set only. Consequently, formulas are provable in some general degree. A generalization of Gödel’s completeness theorem does hold in Ev L. The truth values form...