We investigate an expansion of quasi-MV algebras ([10]) by a genuine quantum unary operator. The variety p 0QMV of such p 0 quasi-MV algebras has a subquasivariety whose members called cartesian can be obtained in an appropriate way out of MV algebras. After showing that cartesian p 0 quasi-MV algebras generate p 0QMV, we prove a standard completeness theorem for p 0QMV w.r.t. an algebra over t...

A set E equipped with a partial, commutative and associative operation ⊕, containing elements 0 and 1, in which the existence of a unique inverse element x′ to any x ∈ E is guaranteed, and a⊕ 1 is admitted only if a = 0 is well known as effect algebra. Effect algebras were introduced by Foulis and Bennet [3] and simultaneously by Kôpka and Chovanec [7] as D-posets. An effect algebra equipped wi...

The framework. In 1956, G. Birkhoff G. and R.S. Pierce [1] conjectured the following: do the algebra of piecewise polynomial functions with real coefficients and the algebra of functions that can be written as Inf and Sup of finitely many polynomials coincide? The conjecture – that can be equivalently stated asking for the free n-generated lattice-ordered algebra to be isomorphic with the algeb...

Galilean W3 vertex operator algebra (VOA) GW3(cL,cM) is constructed as a universal enveloping of certain non-linear Lie conformal algebra. It proved that this simple by using the determinant formula vacuum module. The reducibility criterion for Verma modules given, and existence subsingular vectors demonstrated. Free field realization its highest weight are obtained within rank 4 lattice VOA.

MV-algebras were introduced by Chang in 1958 preliminary to his providing an algebraic completeness proof for the K0-vaΓued Lukasiewicz propositional logic, LXo. In this paper a method is given for determining, for an arbitrary normal extension of LKo, an MV-algebra characteristic for the extension. The characteristic algebras are finite direct products of two sets of linearly ordered MV-algebr...

In this study, we define the generalized symmetric bi-derivation and its trace on MV-algebras give examples. We investigate some properties of bi-derivation’s trace. introduce isotone bi-additive bi-derivation. show that if A is a linearly ordered MV-algebra, Γ related to D γ , then = 0 or γ1 1

Georgescu and Iorgulescu [3] introduced pseudo-BCK-algebras (in a slightly different way) as a non-commutative generalization of BCK-algebras, in the sense that if →= , then the algebra (A,→, 1) is a BCK-algebra. Pseudo-BCK-algebras relate to (non-commutative) residuated lattices as BCK-algebras do to commutative residuated lattices; specifically, by [6], pseudoBCK-algebras are just the 〈→, , 1...

We study observables as r-D-homomorphisms de®ned on Boolean D-posets of subsets into a Boolean Dposet. We show that given an atomic r-complete Boolean D-poset P with the countable set of atoms there exist a r-complete Boolean D-poset of subsets S and a r-D-homomorphism h from S onto P, more precisely we can choose S ˆ B…R†, which gives an analogy of the Loomis± Sikorski representation theorem f...

Peterson’s Intermediate Syllogisms, generalizing Aristotelian syllogisms by intermediate quantifiers ‘Many’, ‘Most’ and ‘Almost all’, are studied. It is demonstrated that, by associating certain values V, W and U on standard Lukasiewicz MV–algebra with the first and second premise and the conclusion, respectively, the validity of a corresponding intermediate syllogism is determined by a simple ...